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
1
Cover Image
Published 2013
Other Authors: '; “...Voronkov, Andrei....”
Get full text
Electronic
2
Cover Image
Published 2010
Other Authors: '; “...Voronkov, Andrei....”
Get full text
Electronic
3
Cover Image
Published 2010
Other Authors: '; “...Voronkov, Andrei....”
Get full text
Electronic
4
Cover Image
Published 2013
Other Authors: '; “...Voronkov, Andrei....”
View fulltext via EzAccess
Electronic
5
Cover Image
Published 2010
Other Authors: '; “...Voronkov, Andrei....”
Get full text
Electronic
Search Tools: Get RSS Feed — Email this Search

Related Subjects

Computer Science Computer science Logics and Meanings of Programs Programming Techniques Artificial Intelligence (incl. Robotics) Artificial intelligence Logic design Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software Engineering Software engineering Computer Imaging, Vision, Pattern Recognition and Graphics Computer logic Computer programming Computer vision Mathematical logic Programming languages (Electronic computers)