Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /

Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Dixon, Clare. (Editor ), Finger, Marcelo. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Lecture Notes in Artificial Intelligence ; 10483
Materias:
Artificial intelligence.
Mathematical logic.
Computer logic.
Software engineering.
Algorithms.
Application software.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer Appl. in Administrative Data Processing.
Descripción
Descripción Física:X, 351 p. 38 illus. : online resource.
ISBN:9783319661674

Ejemplares similares