Details
- Autor(en) / Beteiligte
- Titel
- Clausal form logic : an introd. to the logic of computer reasoning
- Ist Teil von
- International computer science series
- Ort / Verlag
- Sydney [u.a.] : Addison-Wesley
- Erscheinungsjahr
- 1989
- Sprache
- Englisch
- Identifikatoren
- ISBN: 0201129205OCLC-Nummer: 634359505, 634359505Titel-ID: 990004971010106463
- Format
- XIII, 359 S. : graph. Darst.
- Systemstelle
- TVC
- Schlagworte
- Klausellogik