Details
- Autor(en) / Beteiligte
- Titel
- First order logic and automated theorem proving
- Ist Teil von
- Graduate texts in computer science
- Auflage
- 2. ed
- Ort / Verlag
- New York [u.a.] : Springer
- Erscheinungsjahr
- 1996
- Sprache
- Englisch
- Identifikatoren
- ISBN: 0387945938, 9781461275152OCLC-Nummer: 247119105, 247119105Titel-ID: 990006900280106463
- Format
- XVI, 326 S. : graph. Darst.
- Systemstelle
- TVD
- Schlagworte
- Prädikatenlogik, Stufe 1, Automatisches Beweisverfahren