Mostrando 1 - 9 Resultados de 9 Para Buscar 'Voronkov, Andrei', tiempo de consulta: 0.24s 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
Agregar a favoritos
Guardado 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
Enlace del recurso
Agregar a favoritos
Guardado en:
3
Perspectives of System Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Enlace del recurso
Agregar a favoritos
Guardado en:
4
Perspectives of Systems Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Enlace del recurso
Agregar a favoritos
Guardado 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
Enlace del recurso
Agregar a favoritos
Guardado 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
Enlace del recurso
Agregar a favoritos
Guardado en:
7
Perspectives of System Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Enlace del recurso
Agregar a favoritos
Guardado en:
8
Computer Science - Theory and Applications
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Enlace del recurso
Agregar a favoritos
Guardado en:
9
Perspectives of System Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Enlace del recurso
Agregar a favoritos
Guardado en:
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda