検索結果 1 - 9 結果 / 9 検索語 '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
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
検索ツール: RSSフィード — 検索結果をメール