Verwandte Artikel zu Formal Methods in Artificial Intelligence (Cambridge...
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6) - Softcover
Inhaltsangabe
This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Allan Ramsay is an Emeritus Professor. He is highly skilled in Python and has extensive knowledge of Emotion Analysis.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Formal Methods in Artificial Intelligence (Cambridge...
Beispielbild für diese ISBN
Formal Methods in Artificial Intelligence
Verlag:
Cambridge University Press, Cambridge, 1991
ISBN 10: 0521424216
ISBN 13: 9780521424219
Gebraucht
Paperback
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. 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. Bestandsnummer des Verkäufers 277477
Gebraucht kaufen
EUR 11,04
EUR 14,89 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Methods in Artificial Intelligence (Paperback or Softback)
Verlag:
Cambridge University Press 7/26/1991, 1991
ISBN 10: 0521424216
ISBN 13: 9780521424219
Neu
Paperback or Softback
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback or Softback. Zustand: New. Formal Methods in Artificial Intelligence. Book. Bestandsnummer des Verkäufers BBS-9780521424219
Beispielbild für diese ISBN
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6) (Volume 0)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9780521424219
Neu kaufen
EUR 57,80
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods in Artificial Intelligence
Print-on-DemandAnbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Bestandsnummer des Verkäufers 6666-IUK-9780521424219
Neu kaufen
EUR 56,01
EUR 5,94 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 20 verfügbar
Beispielbild für diese ISBN
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
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. . . . . Bestandsnummer des Verkäufers V9780521424219
Neu kaufen
EUR 63,62
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6) (Volume 0)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Bestandsnummer des Verkäufers ria9780521424219_new
Neu kaufen
EUR 65,89
EUR 13,45 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods in Artificial Intelligence
Verlag:
Cambridge University Press, 1991
ISBN 10: 0521424216
ISBN 13: 9780521424219
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Bestandsnummer des Verkäufers C9780521424219
Neu kaufen
EUR 67,89
EUR 18,76 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods in Artificial Intelligence
Verlag:
Cambridge University Press CUP, 1991
ISBN 10: 0521424216
ISBN 13: 9780521424219
Neu
Softcover
Anbieter: Books Puddle, Woodside, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 292 Index. Bestandsnummer des Verkäufers 26524474
Neu kaufen
EUR 86,51
EUR 3,55 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
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. Bestandsnummer des Verkäufers V9780521424219
Neu kaufen
EUR 81,82
EUR 9,35 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods in Artificial Intelligence
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 8372069
Neu kaufen
EUR 86,67
EUR 7,74 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar