×

zbMATH — the first resource for mathematics

Found 14 Documents (Results 1–14)

100
MathJax
Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24245-3/pbk; 978-3-319-24246-0/ebook). Lecture Notes in Computer Science 9322. Lecture Notes in Artificial Intelligence, 307-322 (2015).
MSC:  68T
PDF BibTeX XML Cite
Full Text: DOI
Schrijvers, Tom (ed.) et al., Constraint Handling Rules. Current research topics. Berlin: Springer (ISBN 978-3-540-92242-1/pbk). Lecture Notes in Computer Science 5388. Lecture Notes in Artificial Intelligence, 213-244 (2008).
MSC:  68N17 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 485-500 (2008).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI