Originalsprog | Engelsk |
---|---|
Titel | Graph-Based Representation and Reasoning |
Redaktører | Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker |
Antal sider | 9 |
Forlag | Springer |
Publikationsdato | 2016 |
Sider | 31-39 |
ISBN (Trykt) | 978-3-319-40984-9 |
ISBN (Elektronisk) | 978-3-319-40985-6 |
DOI | |
Status | Udgivet - 2016 |
Begivenhed | 22nd International Conference on Conceptual Structures - Annecy, Frankrig Varighed: 5 jul. 2016 → 7 jul. 2016 Konferencens nummer: 22 https://www.irit.fr/ICCS2016/ |
Konference
Konference | 22nd International Conference on Conceptual Structures |
---|---|
Nummer | 22 |
Land/Område | Frankrig |
By | Annecy |
Periode | 05/07/2016 → 07/07/2016 |
Internetadresse |
Navn | Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science |
---|---|
Vol/bind | 9717 |
ISSN | 0302-9743 |
Bibliografisk note
David Jakobsen and Peter ØhrstrømThe Interpretation of Branching Time Diagrams
Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker (Eds.)
Graph-Based Representation and Reasoning
Volume 9717 of the series Lecture Notes in Computer Science,
22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings, Springer,
pp 31-39
10.1007/978-3-319-40985-6_3
http://link.springer.com/chapter/10.1007/978-3-319-40985-6_3