Andrei Voronkov

Andrei Voronkov at the [[Alan Turing Centenary Conference]], June 24th, 2012 Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester. Provided by Wikipedia
Showing 1 - 9 results of 9 for search 'Voronkov, Andrei', query time: 0.04s Refine Results
1
Logic Programming and Automated Reasoning /
by Voronkov, Andrei.
Published 1993
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
2
Rewriting Techniques and Applications
by Voronkov, Andrei
Published 2020
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
3
Perspectives of System Informatics
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
4
Perspectives of Systems Informatics
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
5
Logic for Programming, Artificial Intelligence, and Reasoning
by Sutcliffe, Geoff, Voronkov, Andrei
Published 2020
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
6
Logic for Programming, Artificial Intelligence, and Reasoning
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
7
Perspectives of System Informatics
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
8
Computer Science - Theory and Applications
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
9
Perspectives of System Informatics
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search