×

zbMATH — the first resource for mathematics

Found 83 Documents (Results 1–83)

100
MathJax
Fifth colloquium on mathematics and computer science. Lectures from the colloquium, Blaubeuren, Germany, September 22–26, 2008. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science Proceedings AI, 461-474 (2008).
MSC:  03B20 05A16 60C05
PDF BibTeX XML Cite
Full Text: Link
Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 177-193 (2007).
MSC:  03B10 03B20
PDF BibTeX XML Cite
Full Text: DOI
STOC’07. Proceedings of the 39th annual ACM symposium on theory of computing, San Diego, CA, USA, June 11–13, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-631-8). 311-317 (2007).
MSC:  03F20 03B70
PDF BibTeX XML Cite
David, René (ed.) et al., Computational logic and applications, CLA ’05. Proceedings of the 3rd workshop, Chambéry, France, June 20–21, 2005. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings AF, 1-36, electronic only (2006).
PDF BibTeX XML Cite
Full Text: Link
Laptev, Ari (ed.), Proceedings of the 4th European congress of mathematics (ECM), Stockholm, Sweden, June 27–July 2, 2004. Zürich: European Mathematical Society (EMS) (ISBN 3-03719-009-4/hbk). 221-231 (2005).
PDF BibTeX XML Cite
Proc. Steklov Inst. Math. 242, 18-35 (2003); translation from Tr. Mat. Inst. Im. V. A. Steklova 242, 23-43 (2003).
MSC:  03F20 06E30 68Q17
PDF BibTeX XML Cite
Beame, Paul W. (ed.) et al., Proof complexity and feasible arithmetics. Papers from the DIMACS workshop, Rutgers, NJ, USA, April 21–24, 1996. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 39, 1-12 (1998).
PDF BibTeX XML Cite
Dalla Chiara, Maria Luisa (ed.) et al., Logic and scientific methods. Volume one of the proceedings of the tenth international congress of logic, methodology and philosophy of science, Florence, Italy, August 19–25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 259, 69-83 (1997).
MSC:  03F20 03B05
PDF BibTeX XML Cite
Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 401-423 (1996).
Reviewer: A.Hoogewijs (Gent)
MSC:  03B50
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
Software