Author: "Claudio Sacerdoti Coen" / Publisher: ceur-ws.org - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Claudio Sacerdoti Coen"' showing total 3 results

Start Over Author "Claudio Sacerdoti Coen" Publisher ceur-ws.org

3 results on '"Claudio Sacerdoti Coen"'

1. Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021.

Author: Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller 0001, Yasmine Sharoda, and Claudio Sacerdoti Coen
Published: 2023

2. Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021.

Author: Claudio Sacerdoti Coen and Ivano Salvo
Published: 2022

3. Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019.

Author: Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller 0001, Karol Pak, and Claudio Sacerdoti Coen
Published: 2020

Catalog

Books, media, physical & digital resources

See catalog results