Showing
1 - 1
results of
1
for search '
Stephan Schulz
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Stephan Schulz
E (theorem prover)
E
is a 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 is developed by Stephan Schulz, originally in the ''Automated Reasoning Group'' at
TU Munich
, now at
Baden-Württemberg Cooperative State University
Stuttgart.
Provided by Wikipedia
Search Results
Showing
1 - 1
results of
1
for search '
Stephan Schulz
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
5G-IANA: A 5G Experimentation Platform for Intelligent Automotive Network Applic...
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Related Subjects
#5GIANA #AOEP #Netapp #DML #automotive
Loading...