Yazar
Ermolayev, Vadim. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 10th
Yazar
Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 13th
View Other Search Results
Yazar
Yakovyna, Vitaliy. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 11th
Yazar
Ayala-Rincón, Mauricio. author.
Format:
Electronic Resources
Alıntı:
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs / Ayala-Rincón
Yazar
Fontaine, Pascal. editor.
Format:
Electronic Resources
Alıntı:
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil
Yazar
de Moura, Leonardo. editor.
Format:
Electronic Resources
Alıntı:
Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg
Arama Sonuçlarını Sınırlandır
Daraltılmış: