Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
Proceedings of 2023 Chinese Intelligent Systems Conference Volume III için kapak resmi
Proceedings of 2023 Chinese Intelligent Systems Conference Volume III
Yazar 
Jia, Yingmin. editor. Zhang, Weicun. editor. Fu, Yongling. editor. Wang, Jiqiang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-6886-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers için kapak resmi
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
Yazar 
Sturm, Thomas. editor. Zengler, Christoph. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21046-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers için kapak resmi
Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
Yazar 
Botana, Francisco. editor. Recio, Tomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77356-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers için kapak resmi
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
Yazar 
Hong, Hoon. editor. Wang, Dongming. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11615798
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: