Skip to content

Home Practice Lessons About

Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

by Deepak D'Souza, K. Narayan Kumar

Automatic theorem provingArtificial intelligence

Writing a summary for young readers…

For young readers

Book data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.