Skip to content
Cover of Automated Deduction - Cade-11

Automated Deduction - Cade-11

by Deepak Kapur

Writing a summary for young readers…

For young readers

Book data: Open Library