168 S. : graph. Darst. ; 21 cm Gutes Ex. - Wolfram Schwabh�user gewidmet. - Dieser Band f�hrt in Begriffe und Methoden der formalen Logik ein, wobei die Auswahl des Materials an Informatik-Anwendungen orientiert ist. Die Behandlung der Aussagenlogik und darauf aufbauend der Pr�dikatenlogik erfolgt mit dem Ziel, den Grundstock zu legen f�r das Verst�ndnis moderner Anwendungen der Logik in der Informatik, wie z.B. Resolution, Automatisches Beweisen und Logik-Programmierung. (Verlagstext) ISBN 9783411031641 Sprache: Deutsch Gewicht in Gramm: 550.

Seller Inventory # 1128616

Contact seller

Report this item

Bibliographic Details

Title

Logik f�r Informatiker. Reihe Informatik ; Bd. 56.

Publisher

Mannheim ; Wien ; Z�rich : BI-Wiss.-Verl.

Publication Date

1987

Language

German

ISBN 10

3411031646

ISBN 13

9783411031641

Binding

kart.

Condition

Gut

Weight

550 grams

Seller catalogs

Mathematik

Store Description

One of Germanys biggest second-hand bookshops! Wir sind ein reines Versandantiquariat, Besuche zum Abholen oder Inspizieren von B�chern sind aber m�glich.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Borkert, Schwarz und Zerfa� GbR
Holzhauser Str. 44 Fundus Online GbR, Berlin, 13509, Germany

Sale & Shipping Terms

Terms of Sale

Welcome! books are desribed with care - let us know if you are not satisfied with the delivery. We ship 5 days a week, always with tracking! Shipping from Berlin to European countries ca. 2-4 days, overseas maybe one week.

Widerrufsbelehrung und
Allgemeine Gesch�ftsbedingungen (AGB) der
Fundus-Online GbR
Borkert / Schwarz / Zerfa�
Holzhauser Str. 44
13509 Berlin
Tel: 030-25793712
www.buch-fundus.de

� 1 Allgemeines
Diese AGB gelten f�r alle gegenw�rtigen und zuk�nftigen Gesch�ftsbeziehungen zwisc...

More Information

Shipping Terms

Die Versandkostenpauschalen basieren auf Durchschnittswerten f�r 1 kg schwere B�cher. Falls das von Ihnen bestellte Buch besonders schwer oder sperrig sein sollte, werden Sie ggf. informiert, dass zus�tzliche Versandkosten anfallen.

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	5 to 10 business days	2 to 4 business days
First item	US$ 46.33	US$ 115.82

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.