Suchergebnisse - Voronkov, Andrei 1959-

Andrei Voronkov

Andrei Voronkov, 2012 mini|Andrei Voronkov, 2012

Andrei A. Voronkov (geb. Mai 1959) ist russisch-schwedischer Informatiker und Professor für Formale Methoden an der School of Computer Science der University of Manchester und an der Staatlichen Universität Nowosibirsk. Er entwickelte den Theoremlöser Vampire zum maschinengestütztem Beweisen, das Konferenzverwaltungsprogramm EasyChair und organisierte 2012 die ''Alan Turing Centenary Conference''.

Für 2015 wurde ihm der Herbrand Award zugesprochen. Veröffentlicht in Wikipedia
  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

    Handbook of automated reasoning: Volume II

    Veröffentlicht 2001
    Weitere beteiligte Personen: “… Voronkov, Andrei 1959- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Soviet Merchant Marine
    von Voronkov, Andrei 1959-, Klementʹev, Ju

    Veröffentlicht 1969
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    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

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Voronkov, Andrei 1959- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Perspectives of system informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017 : revised selected papers

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Voronkov, Andrei 1959- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Perspectives of system informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Voronkov, Andrei 1959- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers

    Veröffentlicht 2012
    Weitere beteiligte Personen: “… Voronkov, Andrei 1959- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Handbook of automated reasoning

    Veröffentlicht 2001
    Weitere beteiligte Personen: “… Voronkov, Andrei 1959- …”
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: