×

zbMATH — the first resource for mathematics

Found 28 Documents (Results 1–28)

100
MathJax
Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer (ISBN 978-3-030-20446-4/hbk; 978-3-030-20447-1/ebook). Synthese Library 412, 235-253 (2019).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Achten, Peter (ed.) et al., The beauty of functional code. Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday. Berlin: Springer (ISBN 978-3-642-40354-5/pbk). Lecture Notes in Computer Science 8106. Lecture Notes in Artificial Intelligence, 97-126 (2013).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Bezhanishvili, Nick (ed.) et al., Lectures on logic and computation. ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011. Selected lecture notes. Berlin: Springer (ISBN 978-3-642-31484-1/pbk). Lecture Notes in Computer Science 7388, 89-109 (2012).
MSC:  03D15 68Q15 68Q25
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, 19-40 (2011).
MSC:  03B70 68N18
PDF BibTeX XML Cite
Full Text: DOI
Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 263-278 (2009).
MSC:  68T30 68U15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software