Kategorien
Handverlesen
Alice Munro
Paul Auster
Über Mütter
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen ( Treffer)
Filter schließen ( Treffer)
Stichwort auswählen
Alle Stichworte
Logic (4)
Abduction (2)
Artificialintelligence (2)
Cognitivescience (2)
Common-Sensereasoning (2)
First-Order Reasoning (2)
Formal Method (2)
Formalinference (2)
Formalphilosophy (2)
Formalreasoning (2)
Fuzzylogic (2)
Heory (2)
Informationsystems (2)
Knowledge (2)
Logik Erster Ordnung (2)
Many-Valuedlogic (2)
Mathematicallogic (2)
Modeling (2)
Problemsolving (2)
Program Verification (2)
Programmiertheorie (2)
Programmierung (edv) (2)
Programming Language (2)
Programmverifikation (2)
Semantics (2)
Temporal Logic (2)
Temporale Logik (2)
Verification (2)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Mathematik: Logik (4)
Sprache auswählen
Sprachen
Englisch (4)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Gebunden (2)
Taschenbuch (2)
Nur mit
-Notizen
Auf Lager
Alles
Nur Personen
Nur Titel
ähnliche Begriffe
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Sie haben nach
gergely, tamas
gesucht
Gefundene Autoren:
Tamas Gergely
eng
Laszlo Ury / Tamas Gergely
First-Order Programming Theories
Springer Berlin Heidelberg
2012
Taschenbuch
368 Seiten
106,99
€
in Kürze
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the…
eng
Tamás Gergely / Oleg M. Anshakov
Cognitive Reasoning
A Formal Approach
Springer Berlin Heidelberg
2012
Taschenbuch
448 Seiten
160,49
€
in Kürze
Dealing with uncertainty, moving from ignorance to knowledge, is the focus of cognitive processes. Understanding these processes and modelling, desig…
eng
Tamás Gergely / Oleg M. Anshakov
Cognitive Reasoning
A Formal Approach
Springer Berlin Heidelberg
2009
Gebunden
448 Seiten
160,49
€
in Kürze
eng
Laszlo Ury / Tamas Gergely
First-Order Programming Theories
Springer Berlin Heidelberg
1991
Gebunden
368 Seiten
106,99
€
in Kürze
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the…