Đang hiển thị 1 - 9 kết quả của 9 cho tìm kiếm 'Voronkov, Andrei', tempo de consulta: 0.03s Limitar resultados
1
Logic Programming and Automated Reasoning /
por Voronkov, Andrei.
Publicado 1993
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Engadir a favoritos
Gardado en:
2
Rewriting Techniques and Applications
por Voronkov, Andrei
Publicado 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ligazón do recurso
Engadir a favoritos
Gardado en:
3
Perspectives of System Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ligazón do recurso
Engadir a favoritos
Gardado en:
4
Perspectives of Systems Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ligazón do recurso
Engadir a favoritos
Gardado en:
5
Logic for Programming, Artificial Intelligence, and Reasoning
por Sutcliffe, Geoff, Voronkov, Andrei
Publicado 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ligazón do recurso
Engadir a favoritos
Gardado en:
6
Logic for Programming, Artificial Intelligence, and Reasoning
por Dershowitz, Nachum, Voronkov, Andrei
Publicado 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ligazón do recurso
Engadir a favoritos
Gardado en:
7
Perspectives of System Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ligazón do recurso
Engadir a favoritos
Gardado en:
8
Computer Science - Theory and Applications
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ligazón do recurso
Engadir a favoritos
Gardado en:
9
Perspectives of System Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ligazón do recurso
Engadir a favoritos
Gardado en:
Ferramentas de procura: RSS — Enviar por correo electrónico esta procura