×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2009. 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24–28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03815-0/pbk). Lecture Notes in Computer Science 5734, 223-234 (2009).
MSC:  68R10 05C12
PDF BibTeX XML Cite
Full Text: DOI
Kullmann, Oliver (ed.), Theory and applications of satisfiability testing – SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02776-5/pbk). Lecture Notes in Computer Science 5584, 45-50 (2009).
MSC:  68T20 68R10
PDF BibTeX XML Cite
Full Text: DOI