Automated Technology for Verification and Analysis
by Cyrille Artho, Axel Legay, Doron Peled
Artificial intelligenceAutomatic theorem proving
Writing a summary for young readers…
For young readers
Book data: Open Library
by Cyrille Artho, Axel Legay, Doron Peled
Book data: Open Library