Books by Panagiotis Manolios
Panagiotis Manolios
Average rating 4.00 · 1 rating · 0 reviews · shelved 3 times
Average rating 4.00 · 1 rating · 0 reviews · shelved 3 times
Showing 4 distinct works.
|
Computer-Aided Reasoning: An Approach
by
—
published
2000
—
5 editions
|
|
|
Computer-Aided Reasoning: ACL2 Case Studies
by
—
published
2000
—
4 editions
|
|
|
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications
by |
|
|
Computer-Aided Reasoning: An Approach
by
—
published
2000
|
|
* Note: these are all the books on Goodreads for this author. To add more books, click here.
