Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

510.5 --- Automatic theorem proving --- #WWIS:ALTO --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- 510.5 Algorithms. Computable functions --- Algorithms. Computable functions --- Artificial intelligence --- Proof theory --- Computer science --- Automatic theorem proving. --- Intelligence artificielle --- Théorèmes --- Démonstration automatique --- Artificial intelligence. --- Théorèmes --- Démonstration automatique --- Search --- Knowledge --- Theorem Proving --- Chess --- Games --- Correctness --- Informatique --- Langages de programmation --- Programming languages (Electronic computers) --- Appareils et matériel --- Logique mathematique - automatic theorem proving --- Appareils et matériel