Automated development of fundamental mathematical theories
by Art Quaife
- ISBN
- 0792320212
Automated development of fundamental mathematical theories est un artificial intelligence, automatic theorem proving book de Art Quaife.
Découvrez Automated development of fundamental mathematical theories de Art Quaife, artificial intelligence.
À propos de l'auteur
Art Quaife est l'auteur de Automated development of fundamental mathematical theories. 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 Automated development of fundamental mathematical theories ?+
Automated development of fundamental mathematical theories est un livre de Artificial intelligence, Automatic theorem proving, Proof theory.
Qui a écrit Automated development of fundamental mathematical theories ?+
Automated development of fundamental mathematical theories a été écrit par Art Quaife.