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 - 20 results of 30 for search 'Voronkov, Andrei', query time: 0.06s Refine Results
  1. 1
    Published 2002
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Published 2008
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
  4. 4
  5. 5
    Published 2000
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Published 2001
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
    Published 2013
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
    by Pnueli, Amir
    Published 2010
    Other Authors: “…Voronkov, Andrei…”
    Get full text
    Electronic Kit Book
  19. 19
  20. 20
Search Tools: RSS Feed Email Search