Interactive theorem proving and program development
by Yves Bertot
ISBN
3540208542
Interactive theorem proving and program development est un automatic theorem proving, computer programming book de Yves Bertot.
Découvrez Interactive theorem proving and program development de Yves Bertot, automatic theorem proving.
À propos de l'auteur
est l'auteur de Interactive theorem proving and program development. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Yves Bertot →É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 and program development ?+
Interactive theorem proving and program development est un livre de Automatic theorem proving, Computer programming, Calculus of operations, Proof theory, Formal languages.
Qui a écrit Interactive theorem proving and program development ?+
Interactive theorem proving and program development a été écrit par Yves Bertot.