The Classical Decision Problem

Berlin [u.a.] / Springer (1997) [Buch]

Seite(n): XII, 482 S : graph. Darst

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Börger, Egon
Grädel, Erich
Gurevich, Yuri

Identifikationsnummern

  • ISBN: 0-387-57073-X
  • ISBN: 3-540-57073-X
  • REPORT NUMBER: RWTH-CONV-211648