Automated Reasoning with Analytic Tableaux and Related Methods - bib.howest.be

Automated Reasoning with Analytic Tableaux and Related Methods

Type:: e-book
Titel:: Automated Reasoning with Analytic Tableaux and Related Methods
Auteur:: De Nivelle
Taal:: Engels
Uitgever:: Springer International Publishing 2015
ISBN:: 3-319-24311-X
3-319-24312-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:4340000000001124