×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–5)

100
MathJax
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 289-293, electronic only (2010).
MSC:  68T20 68N17
PDF BibTeX XML Cite
Full Text: DOI Link
Dahl, Verónica (ed.) et al., Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74608-9/pbk). Lecture Notes in Computer Science 4670, 302-316 (2007).
MSC:  68N19 68N17
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification