- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
XVII, 214 S.
- Language
-
Englisch
- Notes
-
München, Techn. Univ., Diss., 1999
- Keyword
-
Automatisches Beweisverfahren
Tableau
- Creator
-
Ibens, Ortrun
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:18 PM CEST
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
- Ibens, Ortrun
Other Objects (12)
Connection tableau calculi with disjunctive constraints
Relevancy based use lemmas in connection tableau calculi
Theory reasoning in connection calculi
Connection calculi for automated theorem proving in classical and non-classical logics
Calculi.
Calculi.
Light weakly interacting particles: constraints and connection to dark matter
Calculi humani
The English Connection with Sumatra.
Concept Descriptions with Set Constraints and Cardinality Constraints
Splitting necklaces, with constraints
Matching with floor constraints
Connection tableau calculi with disjunctive constraints
Relevancy based use lemmas in connection tableau calculi
Theory reasoning in connection calculi
Connection calculi for automated theorem proving in classical and non-classical logics
Calculi.
Calculi.
Light weakly interacting particles: constraints and connection to dark matter
Calculi humani
The English Connection with Sumatra.
Concept Descriptions with Set Constraints and Cardinality Constraints
Splitting necklaces, with constraints
Matching with floor constraints
Connection tableau calculi with disjunctive constraints
Relevancy based use lemmas in connection tableau calculi
Theory reasoning in connection calculi
Connection calculi for automated theorem proving in classical and non-classical logics
Calculi.
Calculi.
Light weakly interacting particles: constraints and connection to dark matter
Calculi humani
The English Connection with Sumatra.
Concept Descriptions with Set Constraints and Cardinality Constraints
Splitting necklaces, with constraints