Theorem proving in higher order logics
by TPHOLs '96 (1996 Turku, Finland)
- ISBN
- 9783540615873
Theorem proving in higher order logics est un automatic theorem proving book de TPHOLs '96 (1996 Turku, Finland).
Découvrez Theorem proving in higher order logics de TPHOLs '96 (1996 Turku, Finland), automatic theorem proving.
À propos de l'auteur
TPHOLs '96 (1996 Turku, Finland) 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 TPHOLs '96 (1996 Turku, Finland).