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: Galmiche
Año Publicación: 2013
Editorial: Springer Berlin Heidelberg
ISBN: 978-3-642-40536-5
eBook: 978-3-642-40537-2
PDF: https://cutt.ly/vhvFRDw

Colecciones: Springer