Order Total (1 Item Items):
Shipping Destination:
Formal Methods Artificial Intelligence by Ramsay Allan (24 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (24)
- 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
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 (6)
- Not Print on Demand (16)
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, Cambridge, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
US$ 12.47
US$ 16.82 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Very Good. 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. Used.
-
Formal Methods in Artificial Intelligence.
Language: English
Published by Cambridge, Cambridge University Press., 1988
ISBN 10: 0521352363 ISBN 13: 9780521352369
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 4 out of 5 stars
IX, 279 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
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 (Paperback or Softback)
Language: English
Published by Cambridge University Press 7/26/1991, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Paperback or Softback. Condition: New. Formal Methods in Artificial Intelligence. Book.
-
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
US$ 64.72
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Language: English
Published by Cambridge University Press 2009-04-02, 2009
ISBN 10: 0521424216 ISBN 13: 9780521424219
US$ 63.26
US$ 20.84 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. 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
US$ 64.71
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521424216 ISBN 13: 9780521424219
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 292 pages, index, bibliography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 244 x 170 x 16. Weight in Grams: 470. . 2009. Revised ed. paperback. . . . .
-
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
US$ 73.50
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Formal Methods in Artificial Intelligence
Language: English
Published by Cambridge University Press CUP, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Condition: New. pp. 292 Index.
-
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Language: English
Published by Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Condition: New. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 292 pages, index, bibliography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 244 x 170 x 16. Weight in Grams: 470. . 2009. Revised ed. paperback. . . . . Books ship from the US and Ireland.
-
Formal Methods in Artificial Intelligence
Language: English
Published by Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
-
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.
-
US$ 64.97
US$ 13.45 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. 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
US$ 69.72
US$ 21.19 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
Language: English
Published by Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Condition: New. Print on Demand pp. 292 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
-
Formal Methods in Artificial Intelligence
Language: English
Published by Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Condition: New. PRINT ON DEMAND pp. 292.
-
Formal Methods in Artificial Intelligence (Paperback)
Language: English
Published by Cambridge University Press, Cambridge, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
US$ 74.12
US$ 49.78 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. 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.
-
Formal Methods in Artificial Intelligence
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521424216 ISBN 13: 9780521424219
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 ma.
-
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 Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
