Theorem proving in higher order logics
- ISBN
- 9783540230175
Theorem proving in higher order logics est un automatic theorem proving book de .
Découvrez Theorem proving in higher order logics de , automatic theorem proving.
À propos de l'auteur
est l'auteur de Theorem proving in higher order logics. 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 Theorem proving in higher order logics ?+
Theorem proving in higher order logics est un livre de Automatic theorem proving.
Qui a écrit Theorem proving in higher order logics ?+
Theorem proving in higher order logics a été écrit par .