Search Results - Voronkov, Andrei, 1959-

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
Refine Results
  1. 1

    Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings by International Conference on Rewriting Techniques and Applications Hagenberg im Mü̈hlkreis, Austria, SpringerLink (Online service)

    Published: Springer, 2008
    Description: 1 online resource (xiii, 455 pages) : illustrations.
    Other Authors: “…Voronkov, Andrei, 1959-…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings
  2. 2

    Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers by International Andrei Ershov Memorial Conference Novosibirsk, Russia, SpringerLink (Online service)

    Published: Springer, 2007
    Description: 1 online resource (xiv, 496 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers
  3. 3

    Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings by LPAR 2004 Montevideo, Uruguay, SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (xi, 562 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
  4. 4

    Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings by LPAR (Conference), SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (xiv, 744 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
  5. 5

    Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings by LPAR (Conference) Yerevan, Armenia), SpringerLink (Online service)

    Published: Springer, 2007
    Description: 1 online resource (xiii, 562 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings
  6. 6

    Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings by LPAR (Conference) Mérida, Venezuela), SpringerLink (Online service)

    Published: Springer, 2012
    Description: 1 online resource (xi, 446 pages).
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
  7. 7

    Programming logics : essays in memory of Harald Ganzinger by SpringerLink (Online service)

    Published: Springer, 2013
    Description: 1 online resource (x, 445 pages) : illustrations.
    Other Authors: “…Voronkov, Andrei, 1959-…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Programming logics : essays in memory of Harald Ganzinger
  8. 8

    Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers by International Andrei Ershov Memorial Conference Saint Petersburg, Russia, SpringerLink (Online service)

    Published: Springer, 2015
    Description: 1 online resource (xiii, 415 pages) : illustrations.
    Other Authors: “…Voronkov, Andrei, 1959-…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers
  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,... by International Andrei Ershov Memorial Conference Kazanʹ and Innopolis, Russia, SpringerLink (Online service)

    Published: Springer, 2016
    Description: 1 online resource (x, 341 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    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
  10. 10

    Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings by LPAR (Conference), SpringerLink (Online service)

    Published: Springer, 2006
    Description: 1 online resource (xiii, 588 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
  11. 11

    Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings by LPAR (Conference) Dawhah, Qatar), SpringerLink (Online service)

    Published: Springer-Verlag, 2008
    Description: 1 online resource.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings
  12. 12

    Logic for programming, artificial Intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings by LPAR (Conference) Yogyakarta, Indonesia), SpringerLink (Online service)

    Published: Springer, 2010
    Description: 1 online resource (xii, 656 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Logic for programming, artificial Intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
  13. 13

    Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers by International Andrei Ershov Memorial Conference Novosibirsk, Russia, SpringerLink (Online service)

    Published: Springer, 2019
    Description: 1 online resource (279 pages).
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
  14. 14

    Handbook of automated reasoning by ScienceDirect (Online service)

    Published: Elsevier ; MIT Press, 2001
    Description: 1 online resource (2 volumes (xxv, 2122 pages)) : illustrations.
    Other Authors:
    Elsevier - Click here for access
    eBook
    Save to List
    Saved in:
    Handbook of automated reasoning
  15. 15

    Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings by International Computer Science Symposium in Russia Ekaterinburg, Russia, SpringerLink (Online service)

    Published: Springer, 2007
    Description: 1 online resource (xiii, 420 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
  16. 16

    Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers by International Andrei Ershov Memorial Conference Novosibirsk, Russia, SpringerLink (Online service)

    Published: Springer, 2010
    Description: 1 online resource (xiii, 426 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers
  17. 17

    Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings by LPAR (Conference) Stellenbosch, South Africa), SpringerLink (Online service)

    Published: Springer, 2013
    Description: 1 online resource (xiv, 794 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings
  18. 18

    Perspectives of systems informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers by International Andrei Ershov Memorial Conference Moscow, Russia, SpringerLink (Online service)

    Published: Springer, 2018
    Description: 1 online resource (XI, 432 pages) : 80 illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Perspectives of systems informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
  19. 19

    Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings by SpringerLink (Online service)

    Published: Springer Berlin Heidelberg : Imprint : Springer, 2013
    Description: 1 online resource (XIV, 794 pages 178 illustrations) : online resource.
    Other Authors:
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
  20. 20

    Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings by LPAR (Conference) Suva, Fiji), SpringerLink (Online service)

    Published: Springer, 2015
    Description: 1 online resource.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings

Search Tools: