E Equational Theorem Prover
CHF 43.00
Auf Lager
SKU
I8S9Q666NNF
1 Verfügbar 
Kostenloser Versand ab CHF 50
Geliefert zwischen Di., 28.10.2025 und Mi., 29.10.2025
Details
High Quality Content by WIKIPEDIA articles! E is a modern, high performance theorem prover for full first-order logic with equality. It is based on the equational superposition calculus and uses a purely equational paradigm. It has been integrated into other theorem provers and it has been among the best-placed systems in several theorem proving competitions. E was developed by Stephan Schulz, originally in the Automated Reasoning Group at TU Munich. The system is based on the equational superposition calculus. In contrast to most other current provers, the implementation actually uses a purely equational paradigm, and simulates non-equational inferences via appropriate equality inferences. Significant innovations include shared term rewriting (where many possible equational simplifications are carried out in a single operation), several efficient term indexing data structures for speeding up inferences, advanced inference literal selection strategies, and various uses of machine learning techniques to improve the search behaviour.
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- GTIN 09786131962011
- Editor Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
- EAN 9786131962011
- Titel E Equational Theorem Prover
- Herausgeber Betascript Publishing
- Anzahl Seiten 84
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
