Title: Automated reasoning
Subjects: Démonstration automatique, Théorèmes, Kunstmatige intelligentie, Programmation (Informatique), Computer programming, Automatic theorem proving, Artificial intelligence, Intelligence artificielle, Electronic digital computers, programming