Interactive Theorem Proving
ISBN
9783642228629
Interactive Theorem Proving est un logic design, software engineering book de M. C. J. D. van Eekelen.
Découvrez Interactive Theorem Proving de M. C. J. D. van Eekelen, logic design.
À propos de l'auteur
est l'auteur de Interactive Theorem Proving. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de M. C. J. D. van Eekelen →É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 Interactive Theorem Proving ?+
Interactive Theorem Proving est un livre de Logic design, Software engineering, Computer science, Artificial intelligence, Automatic theorem proving.
Qui a écrit Interactive Theorem Proving ?+
Interactive Theorem Proving a été écrit par M. C. J. D. van Eekelen.