Larry Wos

Larry Wos’s Followers

None yet.

Larry Wos

Combine Editions
Larry Wos’s books

Average rating: 4.2 · 5 ratings · 0 reviews · 9 distinct works

	Automated Reasoning: Introduction and Applications/Book & Disk 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 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 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 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
	コンピュータによる推論技法 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] 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 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

More books by Larry Wos…

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