Panagiotis Manolios

Panagiotis Manolios’s Followers

None yet.

Panagiotis Manolios

Combine Editions
Panagiotis Manolios’s books

Average rating: 4.0 · 1 rating · 0 reviews · 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 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, click here.

Is this you? Let us know. If not, help out and invite Panagiotis to Goodreads.