- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 1997
- Identifier
-
972337210
Subject
Automatisches Beweisverfahren ; Superpositionskalkül ; Kürzbares Monoid ; Abelsche Gruppe ; Widerlegungsvollständigkeit ; Automatisches Beweisverfahren ; Superpositionskalkül ; Kürzbares Monoid ; Abelsche Gruppe ; Widerlegungsvollständigkeit; Hochschulschrift; Online-Publikation
Contributor
Waldmann, Uwe
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:57 PM CET
Object type
- Monografie
Associated
- Waldmann, Uwe
Other Objects (12)
Superposition theorem proving for commutative algebraic theories
Equality and extensionality in automated higher-order theorem proving
Cryptographically sound analysis of security protocols
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
User-adaptive proof explanation
Proof planning with multiple strategies
Bildung reiner Hüllen in vollständig zerlegbaren torsionsfreien Abelschen Gruppen
Hierarchical contextual reasoning
Proofs, programs and executable specifications in higher order logic
Soft typing for clausal inference systems
Formal verification of a fully IEEE compliant floating point unit
Das Kontruktionsproblem
Superposition theorem proving for commutative algebraic theories
Equality and extensionality in automated higher-order theorem proving
Cryptographically sound analysis of security protocols
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
User-adaptive proof explanation
Proof planning with multiple strategies
Bildung reiner Hüllen in vollständig zerlegbaren torsionsfreien Abelschen Gruppen
Hierarchical contextual reasoning
Proofs, programs and executable specifications in higher order logic
Soft typing for clausal inference systems
Formal verification of a fully IEEE compliant floating point unit
Das Kontruktionsproblem
Superposition theorem proving for commutative algebraic theories
Equality and extensionality in automated higher-order theorem proving
Cryptographically sound analysis of security protocols
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
User-adaptive proof explanation
Proof planning with multiple strategies
Bildung reiner Hüllen in vollständig zerlegbaren torsionsfreien Abelschen Gruppen
Hierarchical contextual reasoning
Proofs, programs and executable specifications in higher order logic
Soft typing for clausal inference systems
Formal verification of a fully IEEE compliant floating point unit