Treffer 1 - 9 von 9 für Suche 'Voronkov, Andrei', Suchdauer: 0,05s Treffer weiter einschränken
1
Logic Programming and Automated Reasoning /
von Voronkov, Andrei.
Veröffentlicht 1993
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
2
Rewriting Techniques and Applications
von Voronkov, Andrei
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
3
Perspectives of System Informatics
von Voronkov, Andrei, Virbitskaite, Irina
Veröffentlicht 2015
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
4
Perspectives of Systems Informatics
von Voronkov, Andrei, Virbitskaite, Irina
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
5
Logic for Programming, Artificial Intelligence, and Reasoning
von Sutcliffe, Geoff, Voronkov, Andrei
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
6
Logic for Programming, Artificial Intelligence, and Reasoning
von Dershowitz, Nachum, Voronkov, Andrei
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
7
Perspectives of System Informatics
von Petrenko, Alexander K., Voronkov, Andrei
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
8
Computer Science - Theory and Applications
von Diekert, Volker, Volkov, Mikhail, Voronkov, Andrei
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
9
Perspectives of System Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden