Total Books: 1 - 3 /3
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Lire la suite
Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Lire la suite
The Seventeen Provers of the World
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Lire la suite
Total Books: 1 - 3 /3
