154 Seiten; Das hier angebotene Buch stammt aus einer teilaufgel�sten wissenschaftlichen Bibliothek und tr�gt die entsprechenden Kennzeichnungen (R�ckenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 300. Seller Inventory # 1519567

Contact seller

Report this item

Bibliographic Details

Title: Automated Theorem-proving in Non-classical ...

Publisher: Wiley & Sons Inc.;

Publication Date: 1988

Binding: Broschiert

Condition: Gut

Store Description

Visit Seller's Storefront

Seller's business information

Versandantiquariat Petra Gros GmbH & Co. KG
Am Sonnenhang 18, Welling, 56753, Germany

Terms of Sale:

Allgemeine Gesch�ftsbedingungen

Allgemeines - Geltungsbereich
1.1. Die folgenden Allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunkt des Vertragsschlusses g�ltige Fassung.
1.2. Verbraucher i. S. d. Gesch�ftsbedingungen sind nat�rliche Personen, mit denen wir in Gesch�ftsbeziehung treten, ohne dass diesen eine gewerbliche oder selbst�ndige berufliche T�tigkeit zugerechnet werden kann. Unternehmer i. S. d....

More Information

Shipping Terms:

Die Ware wird in der Regel innerhalb von 1-3 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen sind f�r K�ufer und Verk�ufer bindend.

Detailed Seller Information

Payment Methods
accepted by seller

PayPal Invoice Bank/Wire Transfer

Add to Wants

Items related to Automated Theorem-proving in Non-classical Logics....

Automated Theorem-proving in Non-classical Logics. Research notes in theoretical computer science;

Thistlewaite, Paul B., Michael A. McRobbie and Robert K. Meyer:

Used - Soft cover

Seller's business information