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