×

zbMATH — the first resource for mathematics

Found 97 Documents (Results 1–97)

100
MathJax
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 27, 17 p. (2016).
MSC:  68Q42 08A70 18C10
PDF BibTeX XML Cite
Full Text: DOI
van der Hoeven, Joris (ed.) et al., Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22–25, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1269-1). 59-66 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 211-225 (2009).
MSC:  68T15 68Q42 68T27 68T42
PDF BibTeX XML Cite
Full Text: DOI
Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 113-138 (2007).
MSC:  68T15 68W30 51-04
PDF BibTeX XML Cite
Full Text: DOI
Berlin: Springer (ISBN 978-3-540-73541-0/hbk). xx, 689 p. with CD-ROM. (2007).
PDF BibTeX XML Cite
Full Text: DOI
Hofmann, Martin (ed.), Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40332-9/pbk). Lect. Notes Comput. Sci. 2701, 105-119 (2003).
MSC:  68N18 03B70 03B40 68Q55 68Q60 68Q65 68T15
PDF BibTeX XML Cite
Full Text: Link
Buchberger, Bruno (ed.) et al., Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24-26, 2001. Linz: Univ. Linz, 13 p. (2001).
MSC:  68T15 68W30
PDF BibTeX XML Cite
Full Text: Link
Kerber, Manfred (ed.) et al., Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6-7, 2000. Natick, MA: A. K. Peters. 205-233 (2001).
MSC:  68W30 68T15
PDF BibTeX XML Cite
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 358-372 (1996).
MSC:  68T15 20F05 20F10 68Q42 68W30
PDF BibTeX XML Cite
Full Text: DOI
Orecchia, Ferruccio (ed.) et al., Zero-dimensional schemes. Proceedings of the international conference held in Ravello, Italy, June 8-13, 1992. Berlin: de Gruyter. 179-189 (1994).
Reviewer: S.Mandal (Madras)
MSC:  14M05 14N05 13D02
PDF BibTeX XML Cite
Algorithms and classification in combinatorial group theory, Lect. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 23, 137-163 (1992).
PDF BibTeX XML Cite
Introduction à la théorie des singularités. II: Méthodes algébriques et géométriques, Trav. Cours 37, 109-126 (1988).
Reviewer: M.Roczen (Berlin)
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
all top 3
Software