Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, J

DOI10.1007/978-3-642-31374-5zbMATH Open1245.68013OpenAlexW2951639165WikidataQ60712725 ScholiaQ60712725MaRDI QIDQ592091

Author name not available (Why is that?)

Publication date: 6 July 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31374-5

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx)

Related Items (3)

Introduction to ``Milestones in interactive theorem proving ⋮ Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings ⋮ Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26--31, 2021. Proceedings

Uses Software

• Mizar
• MSC
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, J

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q592091)