×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–9)

100
MathJax
Grigoriev, Dima (ed.) et al., Computer science – theory and applications. First international computer science symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34166-8/pbk). Lecture Notes in Computer Science 3967, 322-333 (2006).
MSC:  03B44 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Goncharov, S. S. (ed.) et al., Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16–19, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-270-045-2/hbk). 233-253 (2006).
MSC:  03B44 03B25
PDF BibTeX XML Cite

Filter Results by …

Document Type
Year of Publication
Classification