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).