Description:
Cambridge: Cambridge University Press, 1991. Paperback; Cambridge Tracts in Theoretical Computer Science 6. Very few superficial scores on covers, with lightly worn lower edges and front leading corners. Stamp on title page with faint imprint visible on FEP. Pages clean and sound; all text clear. TS. paperback. Very Good. Used.
![Formal Methods in Artificial Intelligence](https://d3525k1ryd2155.cloudfront.net/f/219/424/9780521424219.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Formal Methods in Artificial Intelligence Paperback - 1991
by Allan M. Ramsay
Details
- Title Formal Methods in Artificial Intelligence
- Author Allan M. Ramsay
- Binding Paperback
- Pages 292
- Volumes 1
- Language ENG
- Publisher Cambridge University Press, West Nyack, New York, U.S.A.
- Date 1991-07-26
- Features Bibliography
- ISBN 9780521424219 / 0521424216
- Weight 1.11 lbs (0.50 kg)
- Dimensions 9.63 x 6.87 x 0.71 in (24.46 x 17.45 x 1.80 cm)
- Dewey Decimal Code 006.3
More Copies for Sale
![Formal Methods in Artificial Intelligence](https://d3525k1ryd2155.cloudfront.net/f/219/424/9780521424219.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Formal Methods in Artificial Intelligence
by Ramsay, Allan
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780521424219 / 0521424216
- Quantity Available
- 1
- Seller
-
Didcot, Oxfordshire, United Kingdom
- Item Price
-
A$18.41A$18.30 shipping to USA
Show Details
Item Price
A$18.41
A$18.30
shipping to USA
![Formal Methods in Artificial Intelligence](https://d3525k1ryd2155.cloudfront.net/f/219/424/9780521424219.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Formal Methods in Artificial Intelligence
by Ramsay, Allan M.
- Used
- Acceptable
- Paperback
- Condition
- Used - Acceptable
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780521424219 / 0521424216
- Quantity Available
- 1
- Seller
-
Seattle, Washington, United States
- Item Price
-
A$17.15FREE shipping to USA
Show Details
Description:
Cambridge University Press, 1991. Paperback. Acceptable. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
A$17.15
FREE shipping to USA
![Formal Methods in Artificial Intelligence](https://d3525k1ryd2155.cloudfront.net/f/219/424/9780521424219.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Formal Methods in Artificial Intelligence
by Ramsay, Allan M.
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780521424219 / 0521424216
- Quantity Available
- 1
- Seller
-
Seattle, Washington, United States
- Item Price
-
A$17.15FREE shipping to USA
Show Details
Description:
Cambridge University Press, 1991. Paperback. Very Good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
A$17.15
FREE shipping to USA
![Formal Methods in Artificial Intelligence](https://d3525k1ryd2155.cloudfront.net/f/219/424/9780521424219.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Formal Methods in Artificial Intelligence
by Allan Ramsay
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780521424219 / 0521424216
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
A$18.85A$18.26 shipping to USA
Show Details
Description:
Cambridge University Press, 1988. Paperback. Very Good. Former library book. Slight signs of wear on the cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
A$18.85
A$18.26
shipping to USA
![Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science)](https://d3525k1ryd2155.cloudfront.net/f/219/424/9780521424219.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science)
by Allan M. Ramsay
- Used
- Paperback
- Condition
- Used
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780521424219 / 0521424216
- Quantity Available
- 1
- Seller
-
Cleveland, Ohio, United States
- Item Price
-
A$33.67A$6.85 shipping to USA
Show Details
Description:
Cambridge University Press, 1991. 296 pp., paperback, previous owner's name to title page else fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Item Price
A$33.67
A$6.85
shipping to USA
![Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science,...](https://d3525k1ryd2155.cloudfront.net/f/219/424/9780521424219.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
by Ramsay, Allan M.
- Used
- Good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780521424219 / 0521424216
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
A$61.34FREE shipping to USA
Show Details
Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
A$61.34
FREE shipping to USA
![Formal Methods in Artificial Intelligence](https://d3525k1ryd2155.cloudfront.net/h/195/095/1415095195.0.m.jpg)
Formal Methods in Artificial Intelligence
by Allan M. Ramsay
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780521424219 / 0521424216
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
A$85.13A$19.16 shipping to USA
Show Details
Description:
Paperback / softback. New. Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving, including Bibel's connection method.
Item Price
A$85.13
A$19.16
shipping to USA
![Formal Methods in Artificial Intelligence](https://d3525k1ryd2155.cloudfront.net/f/219/424/9780521424219.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Formal Methods in Artificial Intelligence
by Allan Ramsay
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9780521424219 / 0521424216
- Quantity Available
- 4
- Seller
-
Woodside, New York, United States
- Item Price
-
A$98.08A$6.07 shipping to USA
Show Details
Description:
Cambridge University Press CUP , pp. 292 Index. Papeback. New.
Item Price
A$98.08
A$6.07
shipping to USA