Automated Reasoning with Analytic Tableaux and Related Methods · Colección completa · Biblioteca Digital UTN

Skip to main content

Automated Reasoning with Analytic Tableaux and Related Methods

Elemento

Título: Automated Reasoning with Analytic Tableaux and Related Methods
Autores: De Nivelle
Año Publicación: 2015
Editorial: Springer International Publishing
ISBN: 978-3-319-24311-5
eBook: 978-3-319-24312-2
PDF: https://cutt.ly/BhvFEgY

Colecciones: Springer