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.05s Refine Results
  1. 1
    Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings /
    Published 2002
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
    Published 2008
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
    Other Authors: “…Voronkov, Andrei…”
    Get full text
    Electronic Kit Book
  4. 4
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
    by FermΓΌller, Christian G
    Published 2010
    Other Authors: “…Voronkov, Andrei…”
    Get full text
    Electronic Kit Book
  5. 5
    Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
    Published 2000
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
    Published 2001
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
    Published 2003
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
    Published 2002
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /
    Published 2016
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
    Published 2015
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
    Published 2007
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
    Published 2005
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Programming Logics Essays in Memory of Harald Ganzinger /
    Published 2013
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings /
    Published 2006
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
    Published 2005
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
    Published 2007
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
    Published 2012
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
    by Pnueli, Amir
    Published 2010
    Other Authors: “…Voronkov, Andrei…”
    Get full text
    Electronic Kit Book
  19. 19
    Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /
    Published 2018
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
    Published 2010
    Other Authors: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search