Condition : Good. Former university library copy with associated markings. Hard cover, no jacket.158pp. No annotations or highlighting to text. Photo on request.

Bestandsnummer des Verk�ufers 943131

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: ONTIC: A Knowledge Representation System for Mathematics (Artificial Intelligence)
Verlag: The MIT Press
Erscheinungsjahr: 1989
Sprache: Englisch
ISBN-10: 0262132354
ISBN-13: 9780262132350
Einband: Hardcover
Zustand: Good
Zustand des Schutzumschlags: No Jacket

�ber diesen Titel

Inhaltsangabe

McAllestar (computer science, MIT) describes ONTIC, the interactive system for verifying "natural" mathematical arguments, which represents a significant change of direction in the field of mechanical deduction, a key area in computer science and artificial intelligence. Annotation copyright Book News, Inc. Portland, Or.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

I am a small on-line independent book seller. I have enjoyed matching books up to the people who want them since 2002. My current inventory is mainly made up of ex-academic library books.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

MB Books
United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

I welcome payment through the ABE website and also through PayPal using charlotte@justlotsof books.co.uk
If you select payment through PayPal, I will get back to you with a money request through the PayPal website.
Alternatively please send the total using the 'send money' option in your PayPal account using charlotte@justlotsofbooks.co.uk as recipient.
I will ship orders as soon as payment is made.

If for any reason you are not satified with your order, please contact me at books@justlotsofbook...

Mehr Information

Widerrufsbelehrung

If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Orders cancelled before shipping will be given an immediate refund.

Please do contact me at books@justlotsofbooks.co.uk if you have any queries and in order to arrange a return. Thank you.

Versandbedingungen

Books will be dispatched in protective padded envelopes from my UK premises. I aim to ship within 2 business days. Shipping costs are based on books weighing up to 2.2 LB, or 1 KG. Occasionally If your book weighs significantly more,I may contact you to let you know extra shipping is required. You will be given the option to accept or decline the extra postage cost in this instance.

Versandkosten von Vereinigtes K�nigreich nach USA

Versandkosten von Vereinigtes K�nigreich nach USA
Bestellmenge	14 bis 45�Werktage	5 bis 10�Werktage
Erster Artikel	EUR 23.08	EUR 23.08

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.

Impressum & Info zum Verk�ufer