×

zbMATH — the first resource for mathematics

Found 177 Documents (Results 1–100)

100
MathJax
Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 658-674 (2015).
MSC:  68T15 03B25 03B35 03D05
PDF BibTeX XML Cite
Full Text: DOI
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 487-503 (2015).
MSC:  03B25 03D05 68T15
PDF BibTeX XML Cite
Full Text: DOI
Manea, Florin (ed.) et al., Combinatorics on words. 10th international conference, WORDS 2015, Kiel, Germany, September 14–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23659-9/pbk; 978-3-319-23660-5/ebook). Lecture Notes in Computer Science 9304, 170-190 (2015).
MSC:  68R15 03B25 03B35 11B85 68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 3-12 (2013).
MSC:  68Q45 03B25 03D05 68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI
Sturm, Thomas (ed.) et al., Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22–24, 2008. Revised papers. Berlin: Springer (ISBN 978-3-642-21045-7/pbk). Lecture Notes in Computer Science 6301. Lecture Notes in Artificial Intelligence, 42-59 (2011).
MSC:  68T15 13P10
PDF BibTeX XML Cite
Full Text: DOI
Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 45-59 (2011).
MSC:  68T15 03B25 03B35 03D40
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, 191-209 (2009).
MSC:  68T15 03B70 68Q25
PDF BibTeX XML Cite
Full Text: DOI
DISKI. Dissertationen zur Künstlichen Intelligenz 324. Heidelberg: Akademische Verlagsgesellschaft Aka; Amsterdam: IOS Press (Diss. 2008) (ISBN 978-1-58603-983-7; 978-3-89838-324-0/pbk). x, 273 p. (2009).
MSC:  68T30 68T15 68T27 68-02
PDF BibTeX XML Cite
Giese, Martin (ed.) et al., Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02715-4/pbk). Lecture Notes in Computer Science 5607. Lecture Notes in Artificial Intelligence, 310-324 (2009).
MSC:  03B35 68T15
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, 405-420 (2009).
MSC:  68Q60 03B70 68T15
PDF BibTeX XML Cite
Full Text: DOI
Lupacchini, Rossella (ed.) et al., Deduction, computation, experiment. Exploring the effectiveness of proof. Including papers from the workshop held at the University of Bologna, Bologna, Italy, April 3–4, 2007. Berlin: Springer (ISBN 978-88-470-0783-3/pbk). 117-140 (2008).
MSC:  03B35 68T15 68T20
PDF BibTeX XML Cite
Full Text: DOI
Campbell, C.M. (ed.) et al., Groups St. Andrews 2005. Vol. II. Selected papers of the conference, St. Andrews, UK, July 30–August 6, 2005. Cambridge: Cambridge University Press (ISBN 978-0-521-69470-4/pbk). London Mathematical Society Lecture Note Series 340, 457-474 (2007).
MSC:  20F05 68T15 20F06 20F10 20-04 68W30
PDF BibTeX XML Cite
Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 115-126 (2006).
MSC:  68N30 68P05 68T15
PDF BibTeX XML Cite
Full Text: DOI
Buchberger, Bruno (ed.) et al., Artificial intelligence and symbolic computation. 7th international conference, AISC 2004, Linz, Austria, September 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23212-5/pbk). Lecture Notes in Computer Science 3249. Lecture Notes in Artificial Intelligence, 66-79 (2004).
MSC:  68T15 68T20
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, 225-246 (2001).
MSC:  03B45 03B25 03B35
PDF BibTeX XML Cite
Gabbay, Dov M. (ed.) et al., Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2-4, 1998. Baldock: Research Studies Press. Stud. Log. Comput. 7, 361-378 (2000).
MSC:  68T15 03B35 68Q60 68N30
PDF BibTeX XML Cite
Gabbay, Dov M. (ed.) et al., Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2-4, 1998. Baldock: Research Studies Press. Stud. Log. Comput. 7, 39-56 (2000).
MSC:  03B35 68T15 03B15
PDF BibTeX XML Cite
Gent, Ian (ed.) et al., SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 63, 459-483 (2000).
Reviewer: U.Schöning (Ulm)
MSC:  03B35 03B45
PDF BibTeX XML Cite
Kirchner, Hélène (ed.) et al., Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1794, 73-87 (2000).
PDF BibTeX XML Cite
Cantini, Andrea (ed.) et al., Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19-25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 280, 249-269 (1999).
Reviewer: N.Zamov (Kazan’)
MSC:  03B25 03B35
PDF BibTeX XML Cite
Bibel, Wolfgang (ed.) et al., Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods. Dordrecht: Kluwer Academic Publishers; 0-7923-5132-0 (set)). Appl. Log. Ser. 8, 133-190 (1998).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 189-208 (1998).
Reviewer: N.Zamov (Kazan’)
MSC:  03B25 03B45 03B35
PDF BibTeX XML Cite
McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 264-267 (1997).
MSC:  68V15 03B35 03B45
PDF BibTeX XML Cite
Full Text: DOI
McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 101-115 (1997).
MSC:  03B35 68Q60 68V15
PDF BibTeX XML Cite
Full Text: DOI
Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 343-357 (1997).
MSC:  68T27 03B50 68T15
PDF BibTeX XML Cite
Full Text: DOI
Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 313-327 (1997).
MSC:  68T15 03B35
PDF BibTeX XML Cite
Full Text: DOI
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, 583-597 (1996).
MSC:  03B35 03B25 03B45 68T15
PDF BibTeX XML Cite
Full Text: DOI
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, 463-477 (1996).
MSC:  03B35 03B25 03B62 68T15
PDF BibTeX XML Cite
Full Text: DOI
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, 201-215 (1996).
MSC:  68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Johnson, Jeffrey (ed.) et al., Artificial intelligence in mathematics. Based on the proceedings of a conference, organized by The Institute of Mathematics and its Applications hosted by the University of Strathclyde, Glasgow, GB, and the Turing Institute in April 1991. Oxford: Clarendon Press. Inst. Math. Appl. Conf. Ser., New Ser. 51, 135-146 (1994).
MSC:  03B35 68T15 68N15 03F35
PDF BibTeX XML Cite
Bronstein, Manuel (ed.), ISSAC ’93. Proceedings of the 1993 international symposium on Symbolic and algebraic computation, Kiev, Ukraine, July 6–8, 1993. Baltimore, MD: ACM Press. 105-110 (1993).
MSC:  03B25 03E30 03B35 68T15 03C13
PDF BibTeX XML Cite
Morgan, K. (ed.) et al., Finite elements in fluids: new trends and applications. Proceedings of the 8th international conference, Barcelona, Spain, September 20-23, 1993. Part I. Barcelona: Centro Internacional de Métodos Numéricos en Ingeniería. 379-388 (1993).
MSC:  76M25 76M10 76K05
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, 83-96 (1993).
MSC:  68T15 03B25
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