Hochschulschrift
Efficient reasoning procedures for complex first-order theories
- Alternative title
-
Effizientes logisches Schließen für komplexe Theorien der Prädikatlogik erster Stufe
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Diss., 2012
- Classification
-
Informatik
- Keyword
-
Superpositionskalkül ; Entscheidungsverfahren ; Prädikatenlogik ; Schlussfolgern
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2012
- Creator
-
Wischnewski, Patrick
- Contributor
-
Weidenbach, Christoph
- URN
-
urn:nbn:de:bsz:291-scidok-49961
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Wischnewski, Patrick
- Weidenbach, Christoph
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2012
Other Objects (12)
Natural geometric quantization of first-order field theories
First-order calculi and proof procedures for automated deduction
Reasoning in combinations of theories
An approximation and refinement approach to first-order automated reasoning
Resolution-based decision procedures for subclasses of first-order logic
Resolution based decision procedures for subclasses of first-order logic
Reasoning about theories with a finite model
On strategic reasoning and theories of rational behavior
First-order logic
First-order logic
Computing intersections of Horn theories for reasoning with models
Nonmonotonic reasoning : from theoretical foundation towards efficient computation
Natural geometric quantization of first-order field theories
First-order calculi and proof procedures for automated deduction
Reasoning in combinations of theories
An approximation and refinement approach to first-order automated reasoning
Resolution-based decision procedures for subclasses of first-order logic
Resolution based decision procedures for subclasses of first-order logic
Reasoning about theories with a finite model
On strategic reasoning and theories of rational behavior
First-order logic
First-order logic
Computing intersections of Horn theories for reasoning with models
Nonmonotonic reasoning : from theoretical foundation towards efficient computation
Natural geometric quantization of first-order field theories
First-order calculi and proof procedures for automated deduction
Reasoning in combinations of theories
An approximation and refinement approach to first-order automated reasoning
Resolution-based decision procedures for subclasses of first-order logic
Resolution based decision procedures for subclasses of first-order logic
Reasoning about theories with a finite model
On strategic reasoning and theories of rational behavior
First-order logic
First-order logic
Computing intersections of Horn theories for reasoning with models