Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
E Equational Theorem Prover
CHF 34.35
Auf Lager
SKU
I8S9Q666NNF
1 Verfügbar 
Geliefert zwischen Mi., 25.02.2026 und Do., 26.02.2026
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.
Weitere 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
