×

zbMATH — the first resource for mathematics

Found 400 Documents (Results 1–100)

100
MathJax
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 5, 15 p. (2016).
MSC:  03B40
PDF BibTeX Cite
Full Text: DOI
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 243-255 (2016).
MSC:  68Q60 68N18 68T15
PDF BibTeX 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, 35-40 (2014).
MSC:  03-03 01A70
PDF BibTeX Cite
Full Text: DOI
Springer-Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-658-03078-0/pbk; 978-3-658-03079-7/ebook). x, 222 p. (2013).
PDF BibTeX Cite
Full Text: DOI
De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 25-34 (2012).
MSC:  03B60 03B10
PDF BibTeX Cite
Undergraduate Topics in Computer Science. New York, NY: Springer (ISBN 978-0-85729-120-2/pbk; 978-0-85729-121-9/ebook). xii, 155 p. (2011).
PDF BibTeX Cite
Full Text: DOI
Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 263-272 (2010).
MSC:  03B52
PDF BibTeX Cite
Full Text: DOI
Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 233-243 (2010).
MSC:  01A60 03-03 03B10
PDF BibTeX Cite
Palaiseau: Les Éditions de l’École Polytechnique (ISBN 978-2-7302-1569-5). 195 p. (2010).
PDF BibTeX Cite
Kolleg Synchron. Heidelberg: Synchron Wissenschaftsverlag der Autoren (ISBN 978-3-935025-84-3/pbk). x, 342 p. (2009).
MSC:  68N17 03-01 68-01 68T15
PDF BibTeX Cite
Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 697-711 (2005).
MSC:  03B20 03C40 03F05
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 48-59 (2002).
MSC:  68N18 68N19
PDF BibTeX Cite
Full Text: DOI
Gorlatch, Sergei (ed.) et al., Constructive methods for parallel programming. Papers presented at the second international workshop on constructive methods for parallel programming, CMPP, Ponte de Lima, Portugal, July 2, 2000. New York, NY: Nova Science Publishers (ISBN 1-59033-374-8/hbk). Adv. Comput., Theory Pract. 10, 79-91 (2002).
MSC:  68N19 68N15
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
Mosc. Univ. Math. Bull. 54, No. 2, 41-43 (1999); translation from Vestn. Mosk. Univ., Ser. I 1999, No. 2, 60-62 (1999).
MSC:  03B10 03F30
PDF BibTeX Cite
Chong, C. T. (ed.) et al., Proceedings of the 6th Asian logic conference, Beijing, China, May 20-24, 1996. Singapore: World Scientific. 285-309 (1998).
MSC:  03F07 03B10
PDF BibTeX Cite
Ginzburg, Jonathan (ed.) et al., The Tbilisi symposium on logic, language and computation: Selected papers, Gudauri, Georgia, October 19-22, 1995. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 101-120 (1998).
MSC:  03B70 68T27 03B53
PDF BibTeX 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 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. 171-194 (1998).
MSC:  03B35
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
Biographic Reference
all top 3
Software