Automated theorem proving
by W. Bibel
No description available.
Démonstration automatiqueThéorèmesAutomatisches BeweisverfahrenAutomatic theorem provingAutomatentheorieBeweis (Mathematik)Mathematics, problems, exercises, etc.Mathematics, data processing