First-order logic and automated theorem proving — 2. ed. (Englisch)
- Neue Suche nach: Fitting, Melvin
- Weitere Informationen zu Fitting, Melvin:
- http://d-nb.info/gnd/172076331
- Neue Suche nach: Fitting, Melvin
- Weitere Informationen zu Fitting, Melvin:
- http://d-nb.info/gnd/172076331
1996
-
ISBN:
- Buch / Print
-
Titel:First-order logic and automated theorem proving
-
Beteiligte:Fitting, Melvin ( Autor:in )
-
Erschienen in:
-
Ausgabe:2. ed.
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:New York , Heidelberg [u.a.]
-
Erscheinungsdatum:1996
-
Format / Umfang:XVI, 326 S
-
Anmerkungen:25 cm
graph. Darst
Literaturverz. S. [315] - 318
Langzeitarchivierung durch Badische Landesbibliothek -
ISBN:
-
Medientyp:Buch
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 68-01 / *68T15 / 03B35 / 03B10
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 511.3
- Weitere Informationen zu Dewey Decimal Classification
- Neue Suche nach: 31.11 / 31.10 / 54.10
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
BackgroundFitting, Melvin et al. | 1996
- 9
-
Propositional LogicFitting, Melvin et al. | 1996
- 41
-
Semantic Tableaux and ResolutionFitting, Melvin et al. | 1996
- 77
-
Other Propositional Proof ProceduresFitting, Melvin et al. | 1996
- 109
-
First-Order LogicFitting, Melvin et al. | 1996
- 137
-
First-Order Proof ProceduresFitting, Melvin et al. | 1996
- 151
-
Implementing Tableaux and ResolutionFitting, Melvin et al. | 1996
- 203
-
Further First-Order FeaturesFitting, Melvin et al. | 1996
- 271
-
EqualityFitting, Melvin et al. | 1996