×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-007-1). OASIcs – OpenAccess Series in Informatics 52, Article 2, 15 p. (2016).
MSC:  68N17
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software