Automated reasoning
by IJCAR 2004 (2004 Cork, Ireland)
- ISBN
- 3540223452
Automated reasoning est un automatic theorem proving, computer logic book de IJCAR 2004 (2004 Cork, Ireland).
Découvrez Automated reasoning de IJCAR 2004 (2004 Cork, Ireland), automatic theorem proving.
À propos de l'auteur
IJCAR 2004 (2004 Cork, Ireland) est l'auteur de Automated reasoning. 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 reasoning ?+
Automated reasoning est un livre de Automatic theorem proving, Computer logic, MATHEMATICS, Infinity.
Qui a écrit Automated reasoning ?+
Automated reasoning a été écrit par IJCAR 2004 (2004 Cork, Ireland).