Details
- Autor(en) / Beteiligte
- Titel
- Unsolvable classes of quantificational formulas
- Ort / Verlag
- Reading, Mass. [u.a.] : Addison-Wesley
- Erscheinungsjahr
- 1979
- Sprache
- Englisch
- Identifikatoren
- ISBN: 0201040697OCLC-Nummer: 636244772, 636244772Titel-ID: 990000485650106463
- Format
- XV, 198 S. : graph. Darst.
- Systemstelle
- TVD
- Schlagworte
- Unlösbarkeit, Berechenbarkeit