Zum Hauptinhalt springen

TagLogic: Symbolic and mathematical

Beinhaltet: Logic: Symbolic and mathematical, Logic: symbolic and mathematical, Logic: Symbolic and Mathematical, Logic: Symbolic and mathematical., logic: symbolic and mathematical

Getaggte Werke

Am meisten getaggt | Gewichtet | Gerade populär | Kürzlich erschienen — Filter: Keine (bearbeiten)

Kurt Gödel Collected Works: Volume II: Publications 1938-1974 von Kurt Gödel (1 mal)
Logical form von Andrea Iacona (1 mal)
Logic and algebraic structures in quantum computing von Jennifer Chubb (1 mal)
Games, logic, and constructive sets von G. E. Mint︠s︡ (1 mal)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming von Dov M. Gabbay (1 mal)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning von Dov M. Gabbay (1 mal)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations von Dov M. Gabbay (1 mal)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies von Dov M. Gabbay (1 mal)
Elements of Logical Reasoning von Jan Von Plato (1 mal)
Logic, Language and Computation von Jerry Seligman (1 mal)
Theory of Language Syntax: Categorial Approach (Nijhoff International Philosophy Series) von U. Wybraniec-Skardowska (1 mal)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning von Dov M. Gabbay (1 mal)
Temporal Logic: From Ancient Ideas to Artificial Intelligence von Peter Øhrstrøm (1 mal)
Kurt Gödel Collected Works: Volume I: Publications 1929-1936 von Kurt Gödel (1 mal)
Die Ufer der Unendlichkeit von Rudy Rucker (1 mal)

Titel Buchumschläge

Den Tag benutzen

idiosyncratic (15)

Google Books Ngram Viewer

Daten vom Books Ngram Viewer

Verwandte Tags

Lädt...

Verwandte Reihen

Gödel's Collected Works

Studies in Linguistics and Philosophy

CSLI Lecture Notes

Verwandte Tag-Kombinationen

Godel, --Kurt (2)

AI, --artificial intelligence (1)

Cambridge, math (1)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Diese Seite verwendet Cookies für unsere Dienste, zur Verbesserung unserer Leistungen, für Analytik und (falls Sie nicht eingeloggt sind) für Werbung. Indem Sie LibraryThing nutzen, erklären Sie dass Sie unsere Nutzungsbedingungen und Datenschutzrichtlinie gelesen und verstanden haben. Die Nutzung unserer Webseite und Dienste unterliegt diesen Richtlinien und Geschäftsbedingungen.