Yazar
Yakovyna, Vitaliy. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 11th
Yazar
Broniek, Przemysław. author.
Format:
Electronic Resources
Alıntı:
Computational Complexity of Solving Equation Systems Broniek, Przemysław. author.
View Other Search Results
Yazar
Fontaine, Pascal. editor.
Format:
Electronic Resources
Alıntı:
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil
Yazar
Botana, Francisco. editor.
Format:
Electronic Resources
Alıntı:
Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11