Toon 1 - 9 resultaten van 9 Voor zoekopdracht 'Voronkov, Andrei', zoektijd: 0,11s Verfijn jouw resultaten
1
Logic Programming and Automated Reasoning /
door Voronkov, Andrei.
Gepubliceerd in 1993
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Toevoegen aan favorieten
Bewaard in:
2
Rewriting Techniques and Applications
door Voronkov, Andrei
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
3
Perspectives of System Informatics
door Voronkov, Andrei, Virbitskaite, Irina
Gepubliceerd in 2015
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
4
Perspectives of Systems Informatics
door Voronkov, Andrei, Virbitskaite, Irina
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
5
Logic for Programming, Artificial Intelligence, and Reasoning
door Sutcliffe, Geoff, Voronkov, Andrei
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
6
Logic for Programming, Artificial Intelligence, and Reasoning
door Dershowitz, Nachum, Voronkov, Andrei
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
7
Perspectives of System Informatics
door Petrenko, Alexander K., Voronkov, Andrei
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
8
Computer Science - Theory and Applications
door Diekert, Volker, Volkov, Mikhail, Voronkov, Andrei
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
9
Perspectives of System Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen