1/1
Automated Reasoning
Autor/Editor: Olivetti, Nicola - Tiwari, Ashish
Año de edición: 2016
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics) - Software Engineering - Mathematics of Computing - Programming Languages - Compilers - Interpreters
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9706
Tipo de documento: Monografía
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-40229-1
ISSN-e: 1611-3349