Order Total (1 Item Items):
Shipping Destination:
Allan M Ramsay (12 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (12)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (8)
- As New, Fine or Near Fine (2)
- Very Good or Good (1)
- Fair or Poor (1)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (3)
- Not Print on Demand (8)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Language: English
Published by Cambridge University Press, 1988
ISBN 10: 0521352363 ISBN 13: 9780521352369
Hardcover. Condition: Very Good. First ed. with stamp "REVIEW COPY FROM SCIENCE;" 279 p., clean and otherwise unmarked--except for some foxing on back end page; binding tight; glossy boards have minimal ear.
-
Formal Methods in Artificial Intelligence
Language: English
Published by Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Condition: New.
-
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6) (Volume 0)
Language: English
Published by Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Condition: New.
-
Formal Methods in Artificial Intelligence
Language: English
Published by Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Condition: As New. Unread book in perfect condition.
-
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Language: English
Published by Cambridge University Press, 1988
ISBN 10: 0521352363 ISBN 13: 9780521352369
Hardcover. Condition: Fair. MANY LOOSE PAGES.
-
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6) (Volume 0)
Language: English
Published by Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 46.71
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods in Artificial Intelligence
Language: English
Published by Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Formal Methods in Artificial Intelligence
Language: English
Published by Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Formal Methods in Artificial Intelligence (Paperback)
Language: English
Published by Cambridge University Press, Cambridge, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Paperback. Condition: new. Paperback. Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book 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. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintainance and intensional logic. The book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence. 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Paperback. Condition: Brand New. reprint edition. 292 pages. 9.50x6.70x0.90 inches. In Stock. This item is printed on demand.
-
Formal Methods in Artificial Intelligence
Language: English
Published by Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 50.31
£ 15.75 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Formal Methods in Artificial Intelligence (Paperback)
Language: English
Published by Cambridge University Press, Cambridge, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Paperback. Condition: new. Paperback. Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book 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. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintainance and intensional logic. The book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
