Theorem proving with abstraction
We couldn't estimate the reading time for this book.
Author
Publication
1979 - Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, Illinois
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- Library of Congress Control Number79624277
- Open LibraryOL4070333M
Classifications
- DDC001.64 s
- DDC511.3
- LCCQA76 .I4 no. 961, etc.
and 1 more
- LCCQA76.9.A96 .I4 no. 961, etc.
Subjects
Series Statement
- [Report] - UIUCDCS-R-79 ; 961,965
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!