- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Univ., Diss., 2004
- Identifier
-
986482919
Thema
Automatisches Beweisverfahren ; Blackboard ; Automatisches Beweisverfahren ; Blackboard ; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
User-adaptive proof explanation
Cryptographically sound analysis of security protocols
Assertion level proof planning with compiled strategies
Soft typing for clausal inference systems
Formal verification of a fully IEEE compliant floating point unit
Cancellative Abelian monoids in refutational theorem proving
Equality and extensionality in automated higher-order theorem proving
Superposition theorem proving for commutative algebraic theories
Hierarchical contextual reasoning
Saturation-based decision procedures for extensions of the guarded fragment
Assertion level proof planning with compiled strategies
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
User-adaptive proof explanation
Cryptographically sound analysis of security protocols
Assertion level proof planning with compiled strategies
Soft typing for clausal inference systems
Formal verification of a fully IEEE compliant floating point unit
Cancellative Abelian monoids in refutational theorem proving
Equality and extensionality in automated higher-order theorem proving
Superposition theorem proving for commutative algebraic theories
Hierarchical contextual reasoning
Saturation-based decision procedures for extensions of the guarded fragment
Assertion level proof planning with compiled strategies
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
User-adaptive proof explanation
Cryptographically sound analysis of security protocols
Assertion level proof planning with compiled strategies
Soft typing for clausal inference systems
Formal verification of a fully IEEE compliant floating point unit
Cancellative Abelian monoids in refutational theorem proving
Equality and extensionality in automated higher-order theorem proving
Superposition theorem proving for commutative algebraic theories
Hierarchical contextual reasoning
Saturation-based decision procedures for extensions of the guarded fragment