W. W BLEDSOE (EDITOR), DONALD W. LOVELAND (EDITOR) search results in Books & Audio Books at Pickabook.co.uk

Your search for "AUTHOR = W. W Bledsoe (Editor), Donald W. Loveland (Editor)" has produced 6 results.

Total number of pages displayed: 1

Select number of records to display per page:

Sort by

Select All | Add selected items to basket

Automated Theorem Proving (Paperback)
After 25 Years

By: W. W Bledsoe (Editor), Donald W. Loveland (Editor)

American Mathematical Society

Published: 15/12/1984

3% off

In Stock: 2

List Price:	£120.00
Our Price: £116.40

Automated Theorem Proving (Paperback)
After 25 Years

By: W. W Bledsoe (Editor), Donald W. Loveland (Editor)

American Mathematical Society

Published: 15/12/1984

3% off

In Stock: 2

List Price:	£120.00
Our Price: £116.40

Three Views of Logic (Paperback)
Mathematics, Philosophy, and Computer Science

By: Donald W. Loveland, Richard E. Hodel, S. G. Sterre...

Princeton University Press

Published: 26/01/2014

20% off

In Stock: None

List Price:	£50.00
Our Price: £40.00
Availability: Temporarily Out of Stock

Three Views of Logic (Electronic book text)
Mathematics, Philosophy, and Computer Science

By: Donald W. Loveland, Richard E. Hodel, S. G. Sterre...

Princeton University Press

Published: 26/01/2014

In Stock: None

List Price:	£89.00

Automated Theorem Proving (Paperback)
A Logical Basis

By: Wolfgang Bibel, Donald W. Loveland

Friedrich Vieweg & Sohn Verlagsgesellschaft mbH

Published: 01/01/1987

In Stock: None

List Price:	£74.99

6th Conference on Automated Deduction (Paperback)
New York, USA, June 7-9, 1982

By: Donald W. Loveland (Editor)

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 01/05/1982

In Stock: None

List Price:	£72.00

Select All | Add selected items to basket