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 /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Höfner, Peter. (Editor ), Pous, Damien. (Editor ), Struth, Georg. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10226
Materias:
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.
Acceso en línea: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 TEC

Detalle de Existencias desde Sistema de Bibliotecas del TEC
Copia Disponible

Ejemplares similares