×

zbMATH — the first resource for mathematics

Found 190 Documents (Results 1–100)

100
MathJax
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 97-116 (2016).
MSC:  03B42 03B20
PDF BibTeX Cite
Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 107-124, electronic only (2015).
MSC:  03F03 03B20
PDF BibTeX Cite
Full Text: DOI
Mathesis. Paris: Librairie Philosophique J. Vrin (ISBN 978-2-7116-2457-7/pbk). 332 p. (2013).
PDF BibTeX 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 Cite
Full Text: DOI
Oxford Logic Guides 45; Oxford Science Publications. Oxford: Clarendon Press (ISBN 0-19-852633-4/hbk). xv, 208 p. (2004).
PDF BibTeX Cite
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, 101-120 (2001).
MSC:  03B45
PDF BibTeX Cite
Karpenko, A. S. (ed.) et al., Logical investigations. No. 6. Papers from the 1st international conference “Smirnov’s Readings”, Moscow, Russia, March 1997. Moscow: Izdatel’stvo “Rossijskaya Politicheskaya Ehntsiklopediya” (ROSSPEHN). 241-258 (1999).
PDF BibTeX Cite
Karpenko, A. S. (ed.) et al., Logical investigations. No. 6. Papers from the 1st international conference “Smirnov’s Readings”, Moscow, Russia, March 1997. Moscow: Izdatel’stvo “Rossijskaya Politicheskaya Ehntsiklopediya” (ROSSPEHN). 76-80 (1999).
MSC:  03B47 03B05 03B20
PDF BibTeX 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, 165-186 (1999).
Reviewer: G.Mints (Stanford)
MSC:  03B20 03B47 03B05
PDF BibTeX 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, 247-261 (1998).
MSC:  03B35 03B20 03F03
PDF BibTeX Cite
Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 187-213 (1996).
MSC:  03G25 06D20
PDF BibTeX Cite
Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 65-79 (1996).
MSC:  03B35 03B20 03B50
PDF BibTeX Cite
Full Text: DOI
Behara, Minaketan (ed.) et al., Proceedings of the 2nd Gauss symposium. Conference A: Mathematics and theoretical physics, Munich, Germany, August 2-7, 1993. Berlin: Walter de Gruyter. Symposia Gaussiana. 225-232 (1995).
MSC:  03B20 03F03 03C30
PDF BibTeX 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, 231-242 (1993).
MSC:  05C65 03B20
PDF BibTeX Cite
Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 217-241 (1992).
Reviewer: G.Mints (Stanford)
PDF BibTeX Cite
Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 73-94 (1992).
Reviewer: G.Mints (Stanford)
PDF BibTeX 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