Automated theorem-proving in non-classical logics.

Thistlewaite, Paul B.

ISBN 10: 0273087819 ISBN 13: 9780273087816

Verlag: London, Pitman., 1988

Sprache: Englisch

Gebraucht Softcover

F�r sp�ter vormerken

Verkauft von Antiquariat Haufe & Lutz, Karlsruhe, BW, Deutschland

Verbandsmitglied:

VDA
ILAB

AbeBooks-Verk�ufer seit 11. April 2003

Verk�uferbewertung 4 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Preis: EUR 22,00 W�hrung umrechnen

EUR 8,00 f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

8�. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar. Sprache: englisch.

Bestandsnummer des Verk�ufers 87465CB

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Automated theorem-proving in non-classical logics.

Verlag

London, Pitman.

Ver�ffentlichungsdatum

1988

Sprache

Englisch

ISBN-10

0273087819

ISBN-13

9780273087816

Bindung

Softcover

Verk�uferkataloge

Naturwissenschaften

Anbieterinformationen

visit our home-page: www.haufe-lutz.de

Zur Homepage des Verk�ufers

Verbandsmitglied

Verbandsmitglieder verpflichten sich, h�chste Standards einzuhalten. Sie garantieren die Echtheit aller zum Verkauf angebotenen Objekte. Ihre Objektbeschreibungen sind sachkundig und genau, etwaig vorhandene M�ngel oder Restaurationen werden offengelegt. Die Ansetzung der Verkaufspreise erfolgt nach akkurater Recherche. Alle Verk�ufe werden stets fair und redlich abgewickelt.

Unternehmensdaten des Verk�ufers

Antiquariat Haufe & Lutz
Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Allgemeine Gesch�ftsbedingungen von Antiquariat Haufe & Lutz

Antiquariat Haufe & Lutz
Inh. Thomas Haufe

Kaiserstr. 99
76133 Karlsruhe

Tel.: +49- 721 376882
E-mail: info@haufe-lutz.de
www.haufe-lutz.de
USt.-IdNr.: DE 252463490
Finanzamt Karlsruhe

Geltungsbereich

Die nachfolgenden Allgemeinen Gesch�ftsbedingungen gelten ausschlie�lich f�r die Internet- Gesch�ftsbeziehung �ber die Handelsplattform(en) abebooks zwischen Bestellern und Antiquariat Haufe & Lutz, Inh. Thomas Haufe (nachfolgend H�ndler ...

Mehr Information

Versandbedingungen

Lieferzeiten:

Die Ware wird innerhalb von 3 Tagen nach Eingang der Bestellung (bei Vorkasse nach Gutschrift des Zahlungsbetrags) zum Versand aufgegeben.

Die Versandkostenpauschalen basieren auf Durchschnittswerten f�r 1 kg schwere B�cher. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verk�ufer informiert.

Impressum & Info zum Verk�ufer