Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Höfner, Peter. (Editor), Pous, Damien. (Editor), Struth, Georg. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Theoretical Computer Science and General Issues ; 10226
Subjects:
Mathematical logic.
Computer science-Mathematics.
Computer logic.
Software engineering.
Artificial intelligence.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Logics and Meanings of Programs.
Software Engineering.
Artificial Intelligence.
Discrete Mathematics in Computer Science.
Online Access:https://doi.org/10.1007/978-3-319-57418-9

Internet

https://doi.org/10.1007/978-3-319-57418-9

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items