A proof theory for general unification
by Wayne Snyder
- ISBN
- 9781461267584
A proof theory for general unification est un automatic theorem proving book de Wayne Snyder.
Découvrez A proof theory for general unification de Wayne Snyder, automatic theorem proving.
À propos de l'auteur
est l'auteur de A proof theory for general unification. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Wayne Snyder →É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 A proof theory for general unification ?+
A proof theory for general unification est un livre de Automatic theorem proving.
Qui a écrit A proof theory for general unification ?+
A proof theory for general unification a été écrit par Wayne Snyder.