9th International Conference on Automated Deduction
by International Conference on Automated Deduction (9th 1988 Argonne, Ill.)
- ISBN
- 038719343X
9th International Conference on Automated Deduction est un automatic theorem proving, symbolic and mathematical logic book de International Conference on Automated Deduction (9th 1988 Argonne, Ill.).
Découvrez 9th International Conference on Automated Deduction de International Conference on Automated Deduction (9th 1988 Argonne, Ill.), automatic theorem proving.
À propos de l'auteur
est l'auteur de 9th International Conference on Automated Deduction. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de International Conference on Automated Deduction (9th 1988 Argonne, Ill.) →É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 9th International Conference on Automated Deduction ?+
9th International Conference on Automated Deduction est un livre de Automatic theorem proving, Symbolic and mathematical Logic, Redeneren, Computersystemen.
Qui a écrit 9th International Conference on Automated Deduction ?+
9th International Conference on Automated Deduction a été écrit par International Conference on Automated Deduction (9th 1988 Argonne, Ill.).