zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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, 67-81 (2010).
MSC:  68Q60 03B44 68Q45
BibTeX Cite
Full Text: DOI
Flum, Jörg (ed.) et al., Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-576-6/pbk). Texts in Logic and Games 2, 423-456 (2008).
MSC:  68Q60 03B44 91A44
BibTeX Cite

Filter Results by …

Year of Publication