Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
Author 
Kaliszyk, Cezary. editor. (orcid)0000-0002-8273-6059 Brady, Edwin. editor. (orcid)0000-0002-9734-367X Kohlhase, Andrea. editor. Sacerdoti Coen, Claudio. editor. (orcid)0000-0002-4360-6016 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23250-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Author 
Kerber, Manfred. editor. Carette, Jacques. editor. Kaliszyk, Cezary. editor. Rabe, Florian. editor. Sorge, Volker. editor.
Preferred Shelf Number 
XX(519241.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20615-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets