Computational logic and proof theory
by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)
ISBN
0387571841
Computational logic and proof theory est un automatic theorem proving, symbolic and mathematical logic book de Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic).
Découvrez Computational logic and proof theory de Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), automatic theorem proving.
À propos de l'auteur
Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) est l'auteur de Computational logic and proof theory. Parcourez son catalogue complet sur Booklogr.
Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Computational logic and proof theory ?+
Computational logic and proof theory est un livre de Automatic theorem proving, Symbolic and mathematical Logic.
Qui a écrit Computational logic and proof theory ?+
Computational logic and proof theory a été écrit par Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic).