×

zbMATH — the first resource for mathematics

Found 60 Documents (Results 1–60)

100
MathJax
Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 660-669 (2007).
MSC:  03D10 03D55 03D05
PDF BibTeX XML Cite
Full Text: DOI
Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 488-496 (2007).
MSC:  03D60 03D10 03D55
PDF BibTeX XML Cite
Full Text: DOI
Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 35-58 (2001).
MSC:  03F45
PDF BibTeX XML Cite
Kutyłowski, Mirosław (ed.) et al., Mathematical foundations of computer science 1999. 24th international symposium, MFCS ’99, Szklarska Porȩba, Poland, September 6-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1672, 23-33 (1999).
MSC:  03F60 03D55 26E40
PDF BibTeX XML Cite
Dales, H. G. (ed.) et al., Truth in mathematics. Lectures of a conference, Mussomeli, Sicily, Italy, September 13–20, 1995. Oxford: Clarendon Press. Oxford Science Publications. 233-251 (1998).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification