Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: idn=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