×

zbMATH — the first resource for mathematics

Found 133 Documents (Results 1–100)

100
MathJax
Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 33-49 (2018).
MSC:  03B45 03B15 03B35
PDF BibTeX XML Cite
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 14-30 (2017).
MSC:  68T15 03B35 03B45
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 246-259 (2017).
MSC:  68Q60 03B70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 353-365 (2015).
MSC:  03G30 03B15 03B45 03B70 03D05
PDF BibTeX XML Cite
Full Text: DOI
Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21400-9/pbk; 978-3-319-21401-6/ebook). Lecture Notes in Computer Science 9195. Lecture Notes in Artificial Intelligence, 73-97 (2015).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 27, 10 p. (2014).
MSC:  03D05 03B15 03B45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 279-306 (2014).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
Esparza, Javier (ed.) et al., Logics and languages for reliability and security. Selected papers based on the presentations at the 30th international summer school, Marktoberdorf, Germany, August 4–16, 2009. Amsterdam: IOS Press (ISBN 978-1-60750-099-5/hbk; 978-1-60750-100-8/ebook). NATO Science for Peace and Security Series D: Information and Communication Security 25, 129-154 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Hliněný, Petr (ed.) et al., Mathematical foundations of computer science 2010. 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15154-5/pbk). Lecture Notes in Computer Science 6281, 381-392 (2010).
MSC:  03B45 03B15
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, 401-421 (2008).
MSC:  03B35 03B15 03B45 68T15
PDF BibTeX XML Cite
Studies in Logic (London) 12. London: College Publications (ISBN 978-1-904987-56-7/pbk). viii, 308 p. (2008).
Reviewer: Nail Zamov (Kazan)
MSC:  03C10 03-02 03B15 03B35 03B45 03B70
PDF BibTeX XML Cite
Cialdea Mayer, Marta (ed.) et al., Automated reasoning with analytic tableaux and related methods. International conference TABLEAUX 2003, Rome, Italy, September 9–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40787-1/pbk). Lect. Notes Comput. Sci. 2796, 237-245 (2003).
MSC:  68T15 03B35 03B15 03B45 03B60 68T27
PDF BibTeX XML Cite
Full Text: DOI
Callaghan, Paul (ed.) et al., Types for proofs and programs. International workshop, TYPES 2000, Durham, GB, December 8–12, 2000. Selected papers. Berlin: Springer (ISBN 3-540-43287-6). Lect. Notes Comput. Sci. 2277, 63-78 (2002).
PDF BibTeX XML Cite
Full Text: Link
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, 25-39 (1999).
PDF BibTeX XML Cite
Wiedermann, Jiří (ed.) et al., Automata, languages and programming. 26th international colloquium, ICALP ‘99. Prague, Czech Republic, July 11-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1644, 554-564 (1999).
MSC:  03B44 03B35 68T15 68Q42
PDF BibTeX XML Cite
Wiesbaden: Vieweg. xxviii, 436 S. (1999).
PDF BibTeX XML Cite
Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 693-724 (1994).
MSC:  03B45 03B70 03G15 03B65 03B15
PDF BibTeX XML Cite
München: Oldenbourg. VIII, 291 p. (1992).
MSC:  68-01 68T15 68T27 03B35
PDF BibTeX XML Cite
RIMS Kôkyûroku. 771. Kyoto: Kyoto University, Research Institute for Mathematical Sciences, ii, 156 p. (1991).
PDF BibTeX XML Cite
NATO ASI Series, F. 79. Berlin etc.: Springer-Verlag. VI, 485 p. (1991).
PDF BibTeX XML Cite
New York etc.: Springer-Verlag. VIII, 489 p. DM 88.00 (1989).
MSC:  68-06 68T15 68Q60 68Q42 03B10 03B15 03B35 03B40 03B45 03B48
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