Leaning search control knowlledge for equational deduction
Leaning search control knowlledge for equational deduction
Stephan Schulz
Details
OL Work ID
OL9280794W
Subjects
Automatic theorem proving
Heuristic programming
Find this book
Open Library