Collected Works of Larry Wos Vol. 1
Exploring the Power of Automated Reasoning
We couldn't estimate the reading time for this book.
Author
Publication
2000 - World Scientific Publishing Co Pte Ltd
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139789812813411
- ISBN-109812813411
- Better World Books9789812813411
- Open LibraryOL49253598M
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!