Frontiers of combining systems : 11th international symposium proceedings, FroCoS 2017, BrasÃlia, Brazil, September 27-29, 2017 (e-book)
Frontiers of combining systems : 11th international symposium proceedings, FroCoS 2017, BrasÃlia, Brazil, September 27-29, 2017 (e-book)
- Cham Springer 2017
- Lecture Notes in Computer Science ; v.10483 .
978-3-319-66167-4
1611-3349
Artificial intelligence --Congresses
Mathematical Logic --Congresses
Logics and Meanings of Programs--Congresses
Software Engineering--Congresses
Algorithm Analysis--Congresses
Algorithm Analysis --Congresses
978-3-319-66167-4
1611-3349
Artificial intelligence --Congresses
Mathematical Logic --Congresses
Logics and Meanings of Programs--Congresses
Software Engineering--Congresses
Algorithm Analysis--Congresses
Algorithm Analysis --Congresses