Books by Panagiotis Manolios

Panagiotis Manolios
Average rating 4.00 · 1 rating · 0 reviews · shelved 3 times

Showing 4 distinct works.

	Computer-Aided Reasoning: An Approach by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore it was amazing 5.00 avg rating — 1 rating — published 2000 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computer-Aided Reasoning: ACL2 Case Studies by Matt Kaufmann (editor), Panagiotis Manolios (Editor), J Strother Moore (Editor) really liked it 4.00 avg rating — 1 rating — published 2000 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications by Panagiotis Manolios 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computer-Aided Reasoning: An Approach by Matt Kaufmann, Panagiotis Manolios (Editor), J Strother Moore (Editor) 0.00 avg rating — 0 ratings — published 2000	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.