1/1
Programming Logics
Autor/Editor: Voronkov, Andrei - Weidenbach, Christoph
Año de edición: 2013
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Mathematical Logic and Formal Languages - Artificial Intelligence (incl. Robotics) - Programming Techniques - Logics and Meanings of Programs - Computer Imaging - Vision - Pattern Recognition and
Título de la Serie: Lecture Notes in Computer Science
Tipo de documento: Monografía
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-37651-1
ISSN-e: 1611-3349