Mechanizing mathematical reasoning
- ISBN
- 9783540322542
Mechanizing mathematical reasoning est un automatic theorem proving, technique book de Jörg H. Siekmann.
Découvrez Mechanizing mathematical reasoning de Jörg H. Siekmann, automatic theorem proving.
À propos de l'auteur
est l'auteur de Mechanizing mathematical reasoning. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Jörg H. Siekmann →É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 Mechanizing mathematical reasoning ?+
Mechanizing mathematical reasoning est un livre de Automatic theorem proving, Technique, Symbolic and mathematical Logic, Reasoning, Automation.
Qui a écrit Mechanizing mathematical reasoning ?+
Mechanizing mathematical reasoning a été écrit par Jörg H. Siekmann.