Mechanical Geometry Theorem Proving
- ISBN
- 9789027726506
Mechanical Geometry Theorem Proving est un automatic theorem proving book de Shang-Ching Chou.
Découvrez Mechanical Geometry Theorem Proving de Shang-Ching Chou, automatic theorem proving.
À propos de l'auteur
est l'auteur de Mechanical Geometry Theorem Proving. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Shang-Ching Chou →É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 Mechanical Geometry Theorem Proving ?+
Mechanical Geometry Theorem Proving est un livre de Automatic theorem proving.
Qui a écrit Mechanical Geometry Theorem Proving ?+
Mechanical Geometry Theorem Proving a été écrit par Shang-Ching Chou.