Andrei Voronkov

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

4
Published 2008
Springer Berlin Heidelberg
Other Authors: ...Voronkov, Andrei...

5
Published 2007
Springer Berlin Heidelberg
Other Authors: ...Voronkov, Andrei...

6
Published 2002
Springer Berlin Heidelberg
Other Authors: ...Voronkov, Andrei...

8
Published 1993
Springer Berlin Heidelberg
Other Authors: ...Voronkov, Andrei...

10
Published 1992
Springer Berlin Heidelberg
Other Authors: ...Voronkov, Andrei...

11
by Baaz, Matthias
Published 2002
Springer-Verlag Berlin Heidelberg
Other Authors: ...Voronkov, Andrei...

13
by Nieuwenhuis, Robert
Published 2001
Springer-Verlag Berlin Heidelberg
Other Authors: ...Voronkov, Andrei...

14
by Robinson, J. A.
Published 2001
Elsevier
Other Authors: ...Voronkov, Andrei...

16
Published 2007
Springer Berlin Heidelberg
Other Authors: ...Voronkov, Andrei...

18
Published 2012
Springer Berlin Heidelberg
Other Authors: ...Voronkov, Andrei...

20
Published 2013
Springer Berlin Heidelberg
Other Authors: ...Voronkov, Andrei...