1/1
Relational and Algebraic Methods in Computer Science
Autor/Editor: Höfner, Peter - Jipsen, Peter - Kahl, Wolfram - Müller, Martin Eric
Año de edición: 2014
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Discrete Mathematics in Computer Science - Artificial Intelligence (incl. Robotics) - Software Engineering - Logics and Meanings of Programs - Symbolic and Algebraic Manipulation - Mathematical Logic and Formal Languages
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 8428
Tipo de documento: Reunión
Editor: Springer
ISBN-e: 978-3-319-06251-8
ISSN-e: 1611-3349