×

zbMATH — the first resource for mathematics

Found 1,439 Documents (Results 1–100)

100
MathJax
Dwyer, Tim (ed.) et al., Diagrammatic representation and inference. 8th international conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 – August 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44042-1/pbk). Lecture Notes in Computer Science 8578. Lecture Notes in Artificial Intelligence, 261-276 (2014).
MSC:  68T27 03B99
PDF BibTeX XML Cite
Full Text: DOI
Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 125-137 (2011).
MSC:  03G99 03B99
PDF BibTeX XML Cite
Full Text: DOI
Towards protologic. (Russian. English summary) Zbl 1244.03110
Karpenko, A. S. (ed.), Логические исследования. 17. Moskva-Sankt-Peterburg: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-073-6/hbk). 152-166 (2011).
MSC:  03B99
PDF BibTeX XML Cite
Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 307-319 (2009).
MSC:  03B99
PDF BibTeX XML Cite
Joray, Pierre (ed.) et al., Définition. Rôles et fonctions en logique et en mathématiques. Actes de colloque, Neuchâtel, Suisse, Octobre 19–20, 2007. Neuchâtel: Université de Neuchâtel, Centre de Recherches Sémiologiques. Travaux de Logique. Centre de Recherches Sémiologiques 19, 115-133 (2008).
PDF BibTeX XML Cite
Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 478-493 (2008).
MSC:  03B99
PDF BibTeX XML Cite
Full Text: DOI
Priss, Uta (ed.) et al., Conceptual structures: Knowledge architectures for smart applications. 15th international conference on conceptual structures, ICCS 2007, Sheffield, UK, July 22–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73680-6/pbk). Lecture Notes in Computer Science 4604. Lecture Notes in Artificial Intelligence, 443-459 (2007).
MSC:  03B99 68T27 91A80
PDF BibTeX XML Cite
Full Text: DOI
A logic of terms. (Russian. English summary) Zbl 1153.03312
Karpenko, A.S. (ed.), Логические исследования. 14. Moskva: Nauka (ISBN 978-5-02-035860-7/hbk). 286-300 (2007).
MSC:  03B99 03A05
PDF BibTeX XML Cite
Jain, Sanjay (ed.) et al., Algorithmic learning theory. 16th international conference, ALT 2005, Singapore, October 8–11, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29242-X/pbk). Lecture Notes in Computer Science 3734. Lecture Notes in Artificial Intelligence, 327-342 (2005).
PDF BibTeX XML Cite
Full Text: DOI
Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 121-146 (2005).
MSC:  91E10 03B99
PDF BibTeX XML Cite
Vanderveken, Daniel (ed.), Logic, thought and action. Dordrecht: Springer (ISBN 1-4020-2616-1/hbk; 1-4020-3167-X/e-book). Logic, Epistemology, and the Unity of Science 2, 359-408 (2005).
MSC:  03A05 91A80 03B99
PDF BibTeX XML Cite
Kjeldsen, Tinne Hoff (ed.) et al., New trends in the history and philosophy of mathematics. Papers from the conference, University of Roskilde, Roskilde, Denmark, August 6–8, 1998. Odense: University Press of Southern Denmark (ISBN 87-7838-606-3/pbk). University of Southern Denmark Studies in Philosophy 19, 29-49 (2004).
PDF BibTeX XML Cite
Hegarty, Mary (ed.) et al., Diagrammatic representation and inference. 2nd international conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18–20, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43561-1). Lect. Notes Comput. Sci. 2317, 146-160 (2002).
MSC:  68T27 03B99
PDF BibTeX XML Cite
Full Text: Link
Gabbay, D. M. (ed.) et al., Handbook of philosophical logic. Vol. 4. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0139-8/hbk). Handbook of Philosophical Logic 4, 395-422 (2002).
MSC:  03B99
PDF BibTeX XML Cite
Jantke, Klaus P. (ed.) et al., Discovery science. 4th international conference, DS 2001, Washington, DC, USA, November 25–28, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42956-5). Lect. Notes Comput. Sci. 2226, 228-242 (2001).
MSC:  68T05 03B99
PDF BibTeX XML Cite
Full Text: Link
Karpenko, A. S. (ed.), Proceedings of the scientific research seminar of the Logic Center of the Institute of Philosophy RAS. 1999-2000. No.XIV. Moskva: Rossijskaya Akademiya Nauk, Institut Filosofii. Tr. Nauchno-Issled. Semin. Log. Tsentra Inst. Filos. RAN. 14, 139-155 (2000).
MSC:  01A20 03B99
PDF BibTeX XML Cite
Studies in Logic and Computation. 7. Baldock: Research Studies Press. xiv, 407 p. (2000).
PDF BibTeX XML Cite
Anderson, Michael (ed.) et al., Theory and application of diagrams. 1st international conference, Diagrams 2000, Edinburgh, Scotland, GB, September 1-3, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1889, 132-148 (2000).
MSC:  03B99 68T27
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). 299-301 (1999).
MSC:  03B99 03B60
PDF BibTeX XML Cite
Smeureanu, Ion (ed.) et al., Information technology. Proceedings of the 4th international symposium on economic informatics held in Bucharest, Romania, May 6-9, 1999. Bucharest: Editura Inforec. 1037-1044 (1999).
MSC:  03G25 06D20 03B99
PDF BibTeX XML 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
Biographic Reference