×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 105-131 (2015).
MSC:  68N30 68P05
BibTeX Cite
Full Text: DOI
WorldCat.org
Clarke, Edmund M. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 -- May 1, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17510-7/pbk). Lecture Notes in Computer Science 6355. Lecture Notes in Artificial Intelligence, 103-118 (2010).
MSC:  68N30 68W30
BibTeX Cite
Full Text: DOI
WorldCat.org
Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10--15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 348-356 (2010).
MSC:  68T15 68T27
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Year of Publication
Classification
Software