×

zbMATH — the first resource for mathematics

Found 177 Documents (Results 1–100)

100
MathJax
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 37, 21 p. (2017).
MSC:  03C13 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 20, 16 p. (2016).
MSC:  68Q19 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Mathematical Surveys and Monographs 210. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2408-4/hbk; 978-1-4704-2908-9/ebook). xiii, 280 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Poche. Paris: Éditions Le Pommier (ISBN 978-2-7465-0561-2/pbk). 224 p. (2011).
PDF BibTeX XML Cite
Appunti. Scuola Normale Superiore di Pisa (Nuova Serie) 8. Pisa: Edizioni della Normale (ISBN 978-88-7642-341-3/pbk; 978-88-7642-517-2/ebook). xvi, 237 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI
Benzmüller, Christoph (ed.) et al., Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday. London: College Publications (ISBN 978-1-904987-70-3/pbk). Studies in Logic (London) 17. Mathematical Logic and Foundations, 259-270 (2008).
MSC:  03B15 03B35
PDF BibTeX XML Cite
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, 268-282 (2007).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
Paris: Éditions Le Pommier (ISBN 978-2-7465-0324-3/pbk). 224 p. (2007).
PDF BibTeX XML Cite
Travaux de Logique. Centre de Recherches Sémiologiques 15. Neuchâtel: Université de Neuchâtel, Centre de Recherches Sémiologiques. xii, 81 p. (2003).
PDF BibTeX XML Cite
Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; 0-444-50812-0 (vol. 2); 0-444-50813-9 (set)). 273-333 (2001).
Reviewer: U.Schöning (Ulm)
MSC:  03B35 03F05 03F07 68T15
PDF BibTeX XML Cite
Berlin: Logos Verlag. Berlin: TU Berlin (Diss. 1999), vi, 145 S. (2000).
MSC:  03B22 03-02
PDF BibTeX XML Cite
Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 171-185 (1999).
MSC:  03B35
PDF BibTeX XML Cite
Gottlob, Georg (ed.) et al., Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC ’93, Brno, Czech Republic, August 24-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 713, 108-119 (1993).
Reviewer: N.Zamov (Kazan’)
MSC:  03B35 68T15 03F20
PDF BibTeX XML Cite
Regional Conference Series in Mathematics. 82. Providence, RI: American Mathematical Society (AMS). ix, 238 p. (1993).
MSC:  16W30 16S40 16-02
PDF BibTeX XML Cite
Rauszer, Cecylia (ed.), Algebraic methods in logic and in computer science. Papers of the XXXVIII semester on algebraic methods in logic and their computer science applications held in Warsaw (Poland) between September 15 and December 15, 1991. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 28, 67-94 (1993).
Reviewer: D.Mundici (Milano)
PDF BibTeX XML Cite

Filter Results by …

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