Automated Reasoning with Analytic Tableaux and Related Methods
Elemento
Título (dcterms:title)
Automated Reasoning with Analytic Tableaux and Related Methods
Autores (dcterms:creator)
De Nivelle
Año Publicación (dcterms:date)
2015
Editorial (dcterms:publisher)
Springer International Publishing
ISBN (bibo:isbn)
978-3-319-24311-5
eBook (bibo:isbn13)
978-3-319-24312-2
PDF (bibo:uri)
Colecciones
Position: 1849 (2 views)