Automated theorem proving
- ISBN
- 0387950753
Automated theorem proving est un automatic theorem proving, computer science book de Monroe Newborn.
Découvrez Automated theorem proving de Monroe Newborn, automatic theorem proving.
À propos de l'auteur
est l'auteur de Automated theorem proving. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Monroe Newborn →É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 Automated theorem proving ?+
Automated theorem proving est un livre de Automatic theorem proving, Computer science, Artificial intelligence.
Qui a écrit Automated theorem proving ?+
Automated theorem proving a été écrit par Monroe Newborn.