Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
3 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
1. 
Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. için kapak resmi
Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Yazar 
Kerber, Manfred. editor. Carette, Jacques. editor. Kaliszyk, Cezary. editor. Rabe, Florian. editor. Sorge, Volker. editor.
Yer Numarası 
XX(519241.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-20615-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Intelligent Computer Mathematics 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings için kapak resmi
Intelligent Computer Mathematics 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
Yazar 
Dubois, Catherine. editor. Kerber, Manfred. editor. SpringerLink (Online service)
Yer Numarası 
XX(520882.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42753-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings için kapak resmi
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Yazar 
Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73086-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: