- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
VI, 130 S.
- Language
-
Englisch
- Notes
-
München, Techn. Univ., Diss., 1996
- Keyword
-
Automatisches Beweisverfahren
Klausellogik
Gleichungstheorie
- Creator
-
Moser, Maximilian J.
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:13 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
- Moser, Maximilian J.
Other Objects (12)
Goal-directed reasoning in clausal logic with equality
Goal-directed forward chaining for logic programs
A declarative integration of terminological, constraint based, data driven, and goal directed reasoning
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning
Equality reasoning based on graphs
Logic and causal reasoning
Reasoning with logic programming
Turning hope thoughts into goal-directed behavior
Goal-directed design and the personas method
Sonderdruck Postural support of goal-directed movements
Safe Reasoning with Logic LTS
Nonmonotonic logic : context dependent reasoning
Goal-directed reasoning in clausal logic with equality
Goal-directed forward chaining for logic programs
A declarative integration of terminological, constraint based, data driven, and goal directed reasoning
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning
Equality reasoning based on graphs
Logic and causal reasoning
Reasoning with logic programming
Turning hope thoughts into goal-directed behavior
Goal-directed design and the personas method
Sonderdruck Postural support of goal-directed movements
Safe Reasoning with Logic LTS
Nonmonotonic logic : context dependent reasoning
Goal-directed reasoning in clausal logic with equality
Goal-directed forward chaining for logic programs
A declarative integration of terminological, constraint based, data driven, and goal directed reasoning
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning
Equality reasoning based on graphs
Logic and causal reasoning
Reasoning with logic programming
Turning hope thoughts into goal-directed behavior
Goal-directed design and the personas method
Sonderdruck Postural support of goal-directed movements
Safe Reasoning with Logic LTS