Gesamtpreis (1 Artikel Artikel):
Versandziel:
formal methods artificial intelligence von ramsay allan (24 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (24)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (7)
- Keine Print-on-Demand Angebote (18)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6) (Volume 0)
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 11,67
EUR 6,54 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration.
-
Formal Methods in Artificial Intelligence
Sprache: Englisch
Verlag: Cambridge University Press, 1988
ISBN 10: 0521352363 ISBN 13: 9780521352369
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 13,20
EUR 5,84 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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)
Sprache: Englisch
Verlag: Cambridge University Press, 1988
ISBN 10: 0521352363 ISBN 13: 9780521352369
Anbieter: My Dead Aunt's Books, Hyattsville, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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
Sprache: Englisch
Verlag: Cambridge University Press, Cambridge, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 10,82
EUR 14,60 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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.
Sprache: Englisch
Verlag: Cambridge, Cambridge University Press., 1988
ISBN 10: 0521352363 ISBN 13: 9780521352369
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 4 von 5 Sternen
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
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Formal Methods in Artificial Intelligence (Paperback or Softback)
Sprache: Englisch
Verlag: Cambridge University Press 7/26/1991, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback or Softback. Zustand: New. Formal Methods in Artificial Intelligence. Book.
-
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6) (Volume 0)
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Formal Methods in Artificial Intelligence
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Sprache: Englisch
Verlag: Cambridge University Press, 1988
ISBN 10: 0521352363 ISBN 13: 9780521352369
Anbieter: pristina, Isle of Man, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 6,01
EUR 60,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Fair. MANY LOOSE PAGES.
-
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6) (Volume 0)
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,64
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Sprache: Englisch
Verlag: Cambridge University Press 2009-04-02, 2009
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,91
EUR 18,09 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Formal Methods in Artificial Intelligence
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,88
EUR 17,52 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Sprache: Englisch
Verlag: Cambridge University Press, 2009
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 63,62
EUR 10,50 Versand
Versand von Irland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 64,57
EUR 17,52 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Formal Methods in Artificial Intelligence
Sprache: Englisch
Verlag: Cambridge University Press CUP, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Zustand: New. pp. 292 Index.
-
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 maintenance and intensional logic. First published in 1988, 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.
-
Formal Methods in Artificial Intelligence
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,51
EUR 11,68 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 292 pages. 9.50x6.70x0.90 inches. In Stock. This item is printed on demand.
-
Formal Methods in Artificial Intelligence
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,51
EUR 18,39 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Formal Methods in Artificial Intelligence
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 84,88
EUR 7,59 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: 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
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 292.
-
Formal Methods in Artificial Intelligence (Paperback)
Sprache: Englisch
Verlag: Cambridge University Press, Cambridge, 1991
ISBN 10: 0521424216 ISBN 13: 9780521424219
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 64,33
EUR 43,21 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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
Sprache: Englisch
Verlag: Cambridge University Press, 2009
ISBN 10: 0521424216 ISBN 13: 9780521424219
EUR 60,87
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
