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 - 1 results of 1 for search 'Voronkov, Andrei', query time: 0.01s Refine Results
1
Other Authors: ...Voronkov, Andrei...
Get full text
Get full text
Conference or Workshop Item
Search Tools: Get RSS Feed Email this Search