يعرض 1 - 9 نتائج من 9 نتيجة بحث عن 'Voronkov, Andrei', وقت الاستعلام: 0.08s تنقيح النتائج
1
Logic Programming and Automated Reasoning /
بواسطة Voronkov, Andrei.
منشور في 1993
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
أضف إلى المفضلة
محفوظ في:
2
Rewriting Techniques and Applications
بواسطة Voronkov, Andrei
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
3
Perspectives of System Informatics
بواسطة Voronkov, Andrei, Virbitskaite, Irina
منشور في 2015
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
4
Perspectives of Systems Informatics
بواسطة Voronkov, Andrei, Virbitskaite, Irina
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
5
Logic for Programming, Artificial Intelligence, and Reasoning
بواسطة Sutcliffe, Geoff, Voronkov, Andrei
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
6
Logic for Programming, Artificial Intelligence, and Reasoning
بواسطة Dershowitz, Nachum, Voronkov, Andrei
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
7
Perspectives of System Informatics
بواسطة Petrenko, Alexander K., Voronkov, Andrei
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
8
Computer Science - Theory and Applications
بواسطة Diekert, Volker, Volkov, Mikhail, Voronkov, Andrei
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
9
Perspectives of System Informatics
بواسطة Bjørner, Nikolaj, Virbitskaite, Irina, Voronkov, Andrei
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني