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 - 20 von 67 für Suche 'Voronkov, Andrei', Suchdauer: 0,35s Treffer weiter einschränken
  1. 1
    Michail Šolochov : zagadka sovetskoj literatury
    von Voroncov, Andrej V.
    Veröffentlicht 2005
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Michail Šolochov : zagadka sovetskoj literatury
    von Voroncov, Andrej V.
    Veröffentlicht 2005
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    von Voronkov, Andrej Aleksandrovič
    Veröffentlicht 1986
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Počemu Rossija byla i budet pravoslavnoj
    von Voroncov, Andrej V.
    Veröffentlicht 2006
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Točki nepostižimogo : sovremennyj rasskaz : seminar A.V. Voroncova : literaturnoe obʹedinenie "Točki" pri Sovette po proze Sojuza pisatelej Rossii"
    Točki nepostižimogo : sovremennyj rasskaz : seminar A.V. Voroncova : literaturnoe obʹedinenie "Točki" pri Sovette po proze Sojuza pisatelej Rossii"
    Точки непостижимого современный рассказ : семинар А.В. Воронцова
    Veröffentlicht 2017
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Točki otraženija : sovremennyj rasskaz
    von Voroncov, Andrej Venediktovič
    Veröffentlicht 2016
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Ėkonomičeskoe obespečenie nacionalʹnoj bezopasnosti Rossii
    von Voronkov, Andrej Nikolaevič
    Veröffentlicht 2008
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Istorija russkich dvorjan : Voroncovy - dvorjane Arzamasskogo, Simbirskogo i Buzulukskogo uezdov
    von Cholodov-Voroncov, Andrej Vadimovič
    Veröffentlicht 2014
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    von Degtyarev, Anatoli
    Veröffentlicht 1998
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Tri vjaza
    von Cholodov-Voroncov, Andrej Vadimovič
    Veröffentlicht 2011
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    von Vorobyov, Sergei
    Veröffentlicht 1997
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    von Degtyarev, Anatoli
    Veröffentlicht 1998
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Automated deduction : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27 - 30, 2002 ; proceedings
    Veröffentlicht 2002
    Inhaltsverzeichnis
    Kapitel 1
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Automated deduction : proceedings
    Veröffentlicht 2002
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13 - 20, 1993 ; proceedings
    Veröffentlicht 1993
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Russkij Jazyk v socialʹno-političeskom aspekte : konspekt lekcij
    Russkij Jazyk v socialʹno-političeskom aspekte : konspekt lekcij
    Русский Язык в социально-политическом аспекте конспект лекций
    von Voroncov, Andrej Venediktovič
    Veröffentlicht 2009
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Logic programming and automated reasoning : proceedings
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    von Bachmair, Leo
    Veröffentlicht 1997
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Šolochov
    Šolochov
    Шолохов
    Veröffentlicht 2014
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Logic programming and automated reasoning : proceedings
    Veröffentlicht 1993
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: