An edition of Collected Works of Larry Wos (2000)

Collected Works of Larry Wos

Exploring the Power of Automated Reasoning (2 volume set)

by

Cover of: Collected Works of Larry Wos by Larry Wos, Larry Wos
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by Open Library Bot
April 24, 2010 | History
Edit
An edition of Collected Works of Larry Wos (2000)

Collected Works of Larry Wos

Exploring the Power of Automated Reasoning (2 volume set)

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
World Scientific Publishing Company
Language
English
Pages
1600

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Artificial intelligence, Automatic theorem proving, Reasoning, Puzzles

Showing 4 featured editions. View all 4 editions?

Edition Availability
Cover of: Collected Works of Larry Wos
Collected Works of Larry Wos : Exploring the Power of Automated Reasoning (2 volume set)
March 2001, World Scientific Publishing Company
Hardcover in English
  • Not in Library
Libraries near you: WorldCat
Cover of: Collected Works of Larry Wos
Collected Works of Larry Wos
2000, World Scientific Publishing Co Pte Ltd
in English
Libraries near you: WorldCat
Cover of: Collected Works of Larry Wos
Collected Works of Larry Wos: Exploring the Power of Automated Reasoning - Applying Automated Reasoning to Puzzles, Problems, and Open Questions
2000, World Scientific Publishing Co Pte Ltd
in English
Libraries near you: WorldCat
Cover of: The collected works of Larry Wos
The collected works of Larry Wos
2000, World Scientific
in English
Libraries near you: WorldCat

Add another edition?

Book Details

The Physical Object

Format
Hardcover
Number of pages
1600
Dimensions
9.1 x 6.7 x 3.7 inches
Weight
5.7 pounds

ID Numbers

Open Library
OL9195020M
ISBN 10
9810240015
ISBN 13
9789810240011
Goodreads
3388428

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
April 24, 2010 Edited by Open Library Bot Fixed duplicate goodreads IDs.
April 16, 2010 Edited by bgimpertBot Added goodreads ID.
April 14, 2010 Edited by Open Library Bot Linked existing covers to the edition.
December 15, 2009 Edited by WorkBot link works
April 30, 2008 Created by an anonymous user Imported from amazon.com record