Proceedings
by International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)
- ISBN
- 0387528857
Proceedings est un automatic theorem proving, symbolic and mathematical logic book de International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany).
Découvrez Proceedings de International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany), automatic theorem proving.
À propos de l'auteur
International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany) est l'auteur de Proceedings. 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 Proceedings ?+
Proceedings est un livre de Automatic theorem proving, Symbolic and mathematical Logic, Theoremes, Automatisches Beweisverfahren.
Qui a écrit Proceedings ?+
Proceedings a été écrit par International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany).