Skip to content

Home Practice Lessons About

Cover of Leaning search control knowlledge for equational deduction

Leaning search control knowlledge for equational deduction

by Stephan Schulz

Automatic theorem provingHeuristic programming

Writing a summary for young readers…

For young readers

Book data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.