×

zbMATH — the first resource for mathematics

Found 148 Documents (Results 1–100)

100
MathJax
Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 411-431 (2021).
MSC:  03A05 03Bxx
PDF BibTeX XML Cite
Full Text: DOI
Leitgeb, Hannes (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 15th international congress, Helsinki, Finland, August 3–8, 2015. London: College Publications (ISBN 978-1-84890-229-9/pbk). 137-151 (2017).
PDF BibTeX XML Cite
Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 443, 324-334 (2014).
MSC:  68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI
London: Springer (ISBN 978-1-4471-4281-2/hbk; 978-1-4471-4282-9/ebook). xi, 208 p. (2013).
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). 454-469 (2010).
MSC:  03A05
PDF BibTeX XML Cite
Ebert, Christian (ed.) et al., The mathematics of language. 10th and 11th biennial conference, MOL 10, Los Angeles, CA, USA, July 28–30, 2007, and MOL 11, Bielefeld, Germany, August 20–21, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14321-2/pbk). Lecture Notes in Computer Science 6149. Lecture Notes in Artificial Intelligence, 223-237 (2010).
MSC:  03B65
PDF BibTeX XML Cite
Full Text: DOI
Karpenko, A. S. (ed.), Logical investigations. 8. Papers from the 3rd international conference “Smirnov’s Readings”, Moscow, Russia, May 2001. Moskva: Nauka (ISBN 5-02-013115-6/hbk). 92-104 (2001).
MSC:  03B20
PDF BibTeX XML Cite
Karpenko, A. S. (ed.), Logical investigations. No. 7. Papers from the 2nd international conference “Smirnov’s Readings”, Moscow, Russia, May 1999. Moskva: Nauka. 252-260 (2000).
MSC:  03B53 03B50
PDF BibTeX XML 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). 259-267 (1999).
MSC:  03A05 03B05
PDF BibTeX XML 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 XML 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). 230-240 (1999).
MSC:  03A05 03B45
PDF BibTeX XML 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). 227-229 (1999).
MSC:  03A05 03B45
PDF BibTeX XML Cite
Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 97-112 (1999).
MSC:  03B35 03E30 03B25
PDF BibTeX XML Cite
Kijania-Placek, Katarzyna (ed.) et al., The Lvov-Warsaw school and contemporary philosophy. Papers from the conference, Lviv (Lvov), Ukraine, November 15-17, 1995 and Warsaw, Poland, November 19-21, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 273, 283-300 (1998).
MSC:  03B42 68T30
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, 93-107 (1998).
MSC:  03B35 03E30
PDF BibTeX XML Cite
Die Philosophie/Einführungen. Darmstadt: Wiss. Buchges. x, 192 S. (1991).
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