The classical decision problem

Gespeichert in:
Hauptverfasser:
Börger, Egon, Grädel, Erich, Gurevich, Yuri
Format:
Buch
Sprache:
Englisch
Veröffentlicht:
Berlin [u.a.] Springer 1997
Bestände:
  • Geb. 25.22 1. Etage: matb.b672
Umfang:
XII, 482 S. : graph. Darst.
Anmerkungen:
Literaturverz. S. 421 - 476
Schriftenreihe:
Perspectives in mathematical logic
ISBN:
354057073X
038757073X
Schlagworte:
Entscheidungsproblem
Notationen:
Links: