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 für Suche 'Voronkov, Andrei', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Soviet Merchant Marine

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

    Veröffentlicht 1969
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Dvorec nauki

    Dvorec nauki von Voronkov, Andrei

    Veröffentlicht 1954
    Buch Fernleihe Bestellen


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

    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 Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


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

    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 Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    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

    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 : r...

    Veröffentlicht 2016
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Handbook of automated reasoning

    Handbook of automated reasoning

    Veröffentlicht 2001
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


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

    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 Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: