Yazar
Botana, Francisco. editor.
Format:
Electronic Resources
Alıntı:
Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11
View Other Search Results
Yazar
van der Hoek, Wiebe. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: