Showing 1 - 9 results of 9 for search 'Voronkov, Andrei', सवाल का समय: 0.03सेकंड परिणाम को परिष्कृत करें
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 फ़ीड प्राप्त करें — इस खोज को ईमेल करें