Passer au contenu principal

Mot-cléLogic: Symbolic and mathematical

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

Oeuvres étiquetées

Le plus souvent étiqueté | Pondéré | Populaire récemment | Publié récemment — Filtre: Aucun (modifier)

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

Titres Couvertures

Utilise le mot clé

idiosyncratic (15)

Google Books Ngram Viewer

Données du Books Ngram Viewer

Mots-clés connexes

Chargement en cours...

Séries associées

Gödel's Collected Works

Studies in Linguistics and Philosophy

CSLI Lecture Notes

Ensembles associés de mots-clés

Godel, --Kurt (2)

AI, --artificial intelligence (1)

Cambridge, math (1)

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

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.