Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die Deutsche Nationalbibliothek in Leipzig ist am 22. November (Buß- und Bettag) geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind ebenfalls geschlossen.
 
Neuigkeiten Am Dienstag, 28. November, öffnet die Deutsche Nationalbibliothek in Leipzig wegen einer Personalversammlung erst ab 13 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet.
 
 

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