Automated deduction in multiple-valued logics
ISBN
0198539894
Automated deduction in multiple-valued logics est un automatic theorem proving, symbolic and mathematical logic book de Reiner Hähnle.
Découvrez Automated deduction in multiple-valued logics de Reiner Hähnle, automatic theorem proving.
À propos de l'auteur
Reiner Hähnle est l'auteur de Automated deduction in multiple-valued 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 Automated deduction in multiple-valued logics ?+
Automated deduction in multiple-valued logics est un livre de Automatic theorem proving, Symbolic and mathematical Logic, Logic, symbolic and mathematical.
Qui a écrit Automated deduction in multiple-valued logics ?+
Automated deduction in multiple-valued logics a été écrit par Reiner Hähnle.