×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

100
MathJax
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 49-60, electronic only (2012).
MSC:  68T20 68T27 68N17
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
Software