Sorry, the term automatic theorem proving is not in the dictionary. Check the spelling and try removing suffixes like "-ing" and "-s".
Why is this definition missing?
Nearby terms:
Automatic Sequence Controlled Calculator ♦ automation ♦ Automatische Rechenplanfertigung
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading