Books by Larry Wos

Larry Wos
Average rating 4.20 · 5 ratings · 0 reviews · shelved 23 times

Showing 9 distinct works.

	Automated Reasoning: Introduction and Applications/Book & Disk by Larry Wos it was amazing 5.00 avg rating — 2 ratings — published 1992 — 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
	Automated Reasoning: Introduction and Applications by Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle it was amazing 5.00 avg rating — 1 rating — published 1984 — 2 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
	Automated Reasoning: 33 Basic Research Problems by Larry Wos liked it 3.00 avg rating — 1 rating — published 1987 — 2 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
	Automated Reasoning and the Discovery of Missing and Elegant Proofs by Larry Wos, Gail W. Pieper liked it 3.00 avg rating — 1 rating — published 2003	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
	The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial by Larry Wos 0.00 avg rating — 0 ratings — published 1996	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
	コンピュータによる推論技法 by Larry Wos 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
	By Larry Wos Automated Reasoning: Introduction and Applications (1st First Edition) [Paperback] by Larry Wos 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
	A " Fascinating Country in the World of Computing by Larry Wos 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
	Collected Works of Larry Wos : Exploring the Power of Automated Reasoning (2 volume set) by Gail W Pieper, Larry Wos 0.00 avg rating — 0 ratings — published 1999 — 2 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

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