Automated reasoning with analytic tableaux and related methods
by TABLEAUX '97 (1997 Pont-à-Mousson, France)
ISBN
3540629203
Automated reasoning with analytic tableaux and related methods est un parallel processing, automatic theorem proving book de TABLEAUX '97 (1997 Pont-à-Mousson, France).
Découvrez Automated reasoning with analytic tableaux and related methods de TABLEAUX '97 (1997 Pont-à-Mousson, France), parallel processing.
À propos de l'auteur
est l'auteur de Automated reasoning with analytic tableaux and related methods. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de TABLEAUX '97 (1997 Pont-à-Mousson, France) →É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 reasoning with analytic tableaux and related methods ?+
Automated reasoning with analytic tableaux and related methods est un livre de Parallel processing, Automatic theorem proving, Artificial intelligence.
Qui a écrit Automated reasoning with analytic tableaux and related methods ?+
Automated reasoning with analytic tableaux and related methods a été écrit par TABLEAUX '97 (1997 Pont-à-Mousson, France).