Intelligent Computer Mathematics. 16th International Conference, CICM 2023 Cambridge, UK, September 5–8, 2023 Proceedings
Book information
Similar books
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
2023 · PDF
Tests and Proofs
2018 · PDF
Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
2015 · PDF
Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings
2000 · PDF
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
2007 · PDF
Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings
2000 · PDF
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
2007 · PDF
Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
2007 · PDF