Treffer
1 - 1
von
1
für Suche '
Moura, Flávio L. C. de
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Alle Felder
Person
Schlagwort
Titel
Suchen
Erweitert
Verfasser
Moura, Flávio L. C. de
Treffer
1 - 1
von
1
für Suche '
Moura, Flávio L. C. de
'
, Suchdauer: 0,35s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Signatur
Verfasser
Titel
1
Applied logic for computer scientists computational deduction and formal proofs
von
Ayala-Rincón, Mauricio
,
Moura, Flávio L. C. de
Veröffentlicht 2017
Signatur:
Wird geladen …
Standort:
Wird geladen …
Volltext
Elektronisch
E-Book
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Ähnliche Schlagworte
Algorithmus
Computer Science
Computer logic
Computer science
Computer science / Mathematics
Informatik
Logics and Meanings of Programs
Logik
Math Applications in Computer Science
Mathematical Logic and Formal Languages
Mathematical logic
Mathematik
Programmierung