zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Bezhanishvili, Nick (ed.) et al., Logic, language, and computation. 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009, Bakuriani, Georgia, September 21–25, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-22302-0/pbk). Lecture Notes in Computer Science 6618. Lecture Notes in Artificial Intelligence, 16-29 (2011).
MSC:  03B45 54D10
BibTeX Cite
Full Text: DOI
Feferman, Solomon (ed.) et al., Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. London: College Publications (ISBN 978-1-84890-012-7/pbk). Tributes 13, 61-69 (2010).
MSC:  03B45 54A10
BibTeX Cite

Filter Results by …

Document Type
Year of Publication