×

zbMATH — the first resource for mathematics

Found 102 Documents (Results 1–100)

100
MathJax
Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 91-103 (2014).
MSC:  03B45
PDF BibTeX XML Cite
Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 30-44 (2013).
MSC:  03B45 03B70 03F07
PDF BibTeX XML Cite
Full Text: DOI
van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 159-172 (2011).
MSC:  03B45 03B35 03B70
PDF BibTeX XML Cite
Full Text: DOI
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 59-76 (2010).
MSC:  03B45 03B35
PDF BibTeX XML Cite
Baldoni, Matteo (ed.) et al., Declarative agent languages and technologies VII. 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-11354-3/pbk). Lecture Notes in Computer Science 5948. Lecture Notes in Artificial Intelligence, 85-100 (2010).
MSC:  68T42 03B45 68T15 68T27
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, 241-257 (2009).
MSC:  03B45 03B35 03B70
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, 69-89 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Areces, Carlos (ed.) et al., Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. London: College Publications (ISBN 978-1-904987-68-0/pbk). 87-110 (2008).
MSC:  03B45 03F07
PDF BibTeX XML Cite
van der Meyden, Ron (ed.) et al., Deontic logic in computer science. 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70524-6/pbk). Lecture Notes in Computer Science 5076. Lecture Notes in Artificial Intelligence, 34-48 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Derrick, John (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2007. 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27–29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73195-5/pbk). Lecture Notes in Computer Science 4574, 97-111 (2007).
MSC:  68M14 94A62
PDF BibTeX XML Cite
Full Text: DOI
Olivetti, Nicola (ed.), Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3–6, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73098-9/pbk). Lecture Notes in Computer Science 4548. Lecture Notes in Artificial Intelligence, 119-132 (2007).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 503-520 (2006).
MSC:  03B42 03B45 68T27
PDF BibTeX XML Cite
Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 1-26 (2006).
Reviewer: Nail Zamov (Kazan)
MSC:  03B45 03B35
PDF BibTeX XML Cite
Karpenko, A. S. (ed.), Logical investigations. 10. Including papers from the 4th international conference “Smirnov’s Readings”, Moscow, Russia, May 2003. Moskva: Nauka (ISBN 5-02-006257-X/hbk). 17-22 (2003).
MSC:  03B47 03B45 03F03
PDF BibTeX XML Cite
Karpenko, A. S. (ed.) et al., Proceedings of the Research Logical Seminar of the Institute of Philosophy RAS. 2001–2002. No. XVI. Moskva: Rossijskaya Akademiya Nauk, Institut Filosofii (ISBN 5-201-02149-2/pbk). Tr. Nauchno-Issled. Semin. Log. Tsentra Inst. Filos. RAN 16, 18-27 (2002).
MSC:  03F03 03B45
PDF BibTeX XML Cite
Karpenko, A. S. (ed.) et al., Logical investigations. No. 5. Proceedings from the section “Symbolic logic” of the 1st International conference “Smirnov Readings”, Moscow, Russia, March 1997. Moskva: Nauka. 230-240 (1998).
MSC:  03B45
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, 14-28 (1998).
MSC:  03B45 03A05 03B35
PDF BibTeX XML Cite
de Swart, Harrie (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5–8, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1397, 217-231 (1998).
MSC:  03B35 68T15 03B45
PDF BibTeX XML Cite
de Swart, Harrie (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5–8, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1397, 156-171 (1998).
PDF BibTeX XML Cite
de Swart, Harrie (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5–8, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1397, 77-92 (1998).
PDF BibTeX XML Cite
Serebryannikov, O. F. (ed.) et al., Logic and cognition theory. Interuniversity collection. Leningrad: Izdatel’stvo Leningradskogo Universiteta. 177-191 (1990).
MSC:  03B45
PDF BibTeX XML Cite
Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 339-349 (1990).
Reviewer: L.Brim (Brno)
MSC:  03B45 03B70
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