Order Total (1 Item Items):
Shipping Destination:
Ramsay Allan M (15 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (15)
- 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 (4)
- Fair or Poor (1)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (3)
- Not Print on Demand (11)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Formal Methods in Artificial Intelligence
Language: English
Published by Cambridge University Press, 1988
ISBN 10: 0521352363 ISBN 13: 9780521352369
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
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.
-
The Works of Allan Ramsay Vol. IV
Published by The Scottish Text Society, 1970
Seller: Blacket Books (PBFA), Edinburgh, United Kingdom
Association Member: PBFA
Seller rating 5 out of 5 stars
First Edition
Hardcover. Condition: Very Good. 1st Edition. Hardback. A very good copy in dark green cloth lettered in gilt on the spine. Small neat ownership inscription on the front free end-paper otherwise clean internally. Pp.xi,327. Frontispiece. This volume includes a biographical and critical introduction to Ramsay's works; his letters and prose; poems not hitherto collected; poems attributed to Ramsay and poems about Ramsay.
-
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.
-
The Works of Allan Ramsay [6 vols. Complete]
Published by Scottish Text Society, Edinburgh
Seller: Blacket Books (PBFA), Edinburgh, United Kingdom
Association Member: PBFA
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. First Edition Thus. Hardbacks. A very good to fine six volume set in the original bindings with vols V and VI still in their original cellophane wrappers. Small ownership inscription on front end-paper of vols. I and II. First editions thus published between 1951 and 1974. This is the first complete edition of Ramsay's entire writings "containing every poem, letter, preface and miscellaneous work known to be Ramsay's own, together with a number of putative items and verses written about the poet by his contemporaries." Includes a bibliography of Ramsay's works, notes to vols. I-V, a glossary of Scots words in vols III and IV, a biographical index, an index of first lines and a general index. Difficult to find as a complete set. Photographs available on request. [Please note this six volume set will incur extra postage].
-
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.
