Un programme de démonstration de théorèmes
Un programme de démonstration de théorèmes
J. Pitrat
Details
OL Work ID
OL5092341W
Subjects
Automatic theorem proving
Find this book
Open Library