Yazar
Botana, Francisco. editor.
Format:
Electronic Resources
Alıntı:
Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11
Yazar
de Moura, Leonardo. editor.
Format:
Electronic Resources
Alıntı:
Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg
View Other Search Results
Yazar
Chiabert, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Yakovyna, Vitaliy. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 11th
Yazar
Liu, Shuai. editor. (orcid)0000-0001-9909-0664
Format:
Electronic Resources
Alıntı:
e-Learning, e-Education, and Online Training 4th International Conference, eLEOT 2018, Shanghai
Yazar
Hong, Hoon. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014
Arama Sonuçlarını Sınırlandır
Daraltılmış: