Automated Reasoning with Analytic Tableaux and Related Methods
by Uwe Egly
- ISBN
- 9783540456162
Automated Reasoning with Analytic Tableaux and Related Methods est un artificial intelligence, automatisches beweisverfahren book de Uwe Egly.
Découvrez Automated Reasoning with Analytic Tableaux and Related Methods de Uwe Egly, artificial intelligence.
À 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 Uwe Egly →É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 Artificial intelligence, Automatisches Beweisverfahren, Computer science, Software engineering.
Qui a écrit Automated Reasoning with Analytic Tableaux and Related Methods ?+
Automated Reasoning with Analytic Tableaux and Related Methods a été écrit par Uwe Egly.