×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Clementini, Eliseo (ed.) et al., 13th international conference on spatial information theory, COSIT 2017, L’Aquila, Italy, September 4–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-043-9). LIPIcs – Leibniz International Proceedings in Informatics 86, Article 11, 14 p. (2017).
MSC:  68T30 68U05 68U35
BibTeX Cite
Full Text: DOI
WorldCat.org
Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23263-8/pbk; 978-3-319-23264-5/pbk). Lecture Notes in Computer Science 9345. Lecture Notes in Artificial Intelligence, 488-501 (2015).
MSC:  68N17 68T27
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software