×

zbMATH — the first resource for mathematics

Found 70 Documents (Results 1–70)

100
MathJax
Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 352-366, electronic only (2011).
MSC:  68N17 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI Link
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 268-282 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 111-127 (2011).
MSC:  68N17 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Autexier, Serge (ed.) et al., Proceedings of the 8th international workshop on user interfaces for theorem provers (UITP 2008), Montréal, Canada, August 22, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 226, 89-105 (2009).
MSC:  68T15 03B70
PDF BibTeX XML Cite
Full Text: DOI
Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 141-159 (2009).
MSC:  68N17 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Hölldobler, Steffen (ed.) et al., Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28–October 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87802-5/pbk). Lecture Notes in Computer Science 5293. Lecture Notes in Artificial Intelligence, 258-271 (2008).
MSC:  68T27 68N17
PDF BibTeX XML Cite
Full Text: DOI
Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 17 p., electronic only (2000).
MSC:  68Q42 68T27
PDF BibTeX XML Cite
Full Text: Link
Rovan, Branislav (ed.), SOFSEM ’98. Theory and practice of informatics. 25th conference on Current trends in theory and practice of informatics. Jasná, Slovakia, November 21–27, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1521, 443-452 (1998).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Calmet, Jacques (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC ’98, Plattsburgh, NY, USA, September 16–18, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1476, 296-307 (1998).
Reviewer: N.Zamov (Kazan’)
MSC:  03B35 68T27
PDF BibTeX XML Cite
Benhamou, Frédéric (ed.), JFPLC ’97. 6èmes Journées francophones de programmation logique et programmation par constraintes. 26–28 Mai 1997. Orléans, France. Paris: Éditions Hermès. 277-291 (1997).
MSC:  68Q55
PDF BibTeX XML Cite
Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 454-471 (1991).
MSC:  68N17 68Q55
PDF BibTeX XML Cite
Maluszyński, Jan (ed.) et al., Programming language implementation and logic programming. 3rd international symposium, PLILP ’91, Passau, Germany, August 26-28, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 528, 383-393 (1991).
MSC:  68N17 68Q55
PDF BibTeX XML Cite

Filter Results by …

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