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 /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Dixon, Clare. (Editor), Finger, Marcelo. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Lecture Notes in Artificial Intelligence ; 10483
Subjects:
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.
Description
Physical Description:X, 351 p. 38 illus. : online resource.
ISBN:9783319661674

Similar Items