Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783030878818
- ISBN-103030878813
- Better World Books9783030878818
- Open LibraryOL34803595M
Classifications
- LCCQA75.5-76.95
Subjects
Other Editions
- Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!