×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

100
MathJax
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, 271-285 (2007).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Freuder, Eugene C. (ed.), Principles and practice of constraint programming – CP ’96. Second international conference, CP ’96, Cambridge, MA, USA, August 19–22, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1118, 76-90 (1996).
MSC:  03B70
PDF BibTeX XML Cite

Filter Results by …

Document Type
Year of Publication
Classification
Software