Katalog der Deutschen Nationalbibliothek

Neuigkeiten Unsere Lesesäle sind unter den geltenden Hygiene- und Abstandsregelungen für den eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung zwingend notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: nid=11280828X



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/11280828X
Person Voronkov, Andrei
Geschlecht männlich
Andere Namen Voronkov, A.
Voronkov, Andrej
Quelle LoC-NA
Zeit Lebensdaten: 1959-
Land Großbritannien (XA-GB); Schweden (XA-SE)
Beruf(e) Informatiker
Weitere Angaben Tätig am Europ. Computer-Industry Res. Centre, München (1993)
Beziehungen zu Organisationen University of Manchester
Chalmers tekniska högskola
Typ Person (piz)
Autor von 3 Publikationen
  1. Equality reasoning in sequent based calculi
    Degtyarev, Anatoli. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 1998
  2. Complexity of nonrecursive logic programs with complex values
    Vorobyov, Sergei. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 1997
  3. ...
Beteiligt an 16 Publikationen
  1. Perspectives of systems informatics
    Heidelberg : Springer, 2015
  2. Logic for programming, artificial intelligence, and reasoning
    Berlin : Springer, 2013
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration