Zobrazuji výsledky 1 - 9 z 9 pro vyhledávání 'Voronkov, Andrei', doba hledání: 0,05 s. Upřesnit hledání
1
Logic Programming and Automated Reasoning /
Autor Voronkov, Andrei.
Vydáno 1993
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Přidat do oblíbených
Uloženo v:
2
Rewriting Techniques and Applications
Autor Voronkov, Andrei
Vydáno 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
3
Perspectives of System Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
4
Perspectives of Systems Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
5
Logic for Programming, Artificial Intelligence, and Reasoning
Autor Sutcliffe, Geoff, Voronkov, Andrei
Vydáno 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
6
Logic for Programming, Artificial Intelligence, and Reasoning
Autor Dershowitz, Nachum, Voronkov, Andrei
Vydáno 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
7
Perspectives of System Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
8
Computer Science - Theory and Applications
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
9
Perspectives of System Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat e-mailem