Отображение 1 - 9 результаты of 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
по Bjørner, Nikolaj, Virbitskaite, Irina, Voronkov, Andrei
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email