1/1
Deontic Logic in Computer Science
Autor/Editor: Ågotnes, Thomas - Broersen, Jan - Elgesem, Dag
Año de edición: 2012
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Mathematical Logic and Formal Languages - Artificial Intelligence (incl. Robotics) - Logics and Meanings of Programs - Computer Appl. in Administrative Data Processing - Programming Techniques - Discrete Mathematics in Computer Science
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 7393
Tipo de documento: Reunión
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-31570-1
ISSN-e: 1611-3349