This item is printed on demand - it takes 3-4 days longer - Neuware -This first volume of the 'Handbook of Automated Reasoning' includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods. 996 pp. Englisch.

Bestandsnummer des Verk�ufers 9780444829498

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Handbook of Automated Reasoning. Vol.1
Verlag: Elsevier Science
Erscheinungsjahr: 2001
Sprache: Englisch
ISBN-10: 0444829490
ISBN-13: 9780444829498
Einband: Buch
Zustand: Neu

�ber diesen Titel

Inhaltsangabe

This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

Rese�a del editor

This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

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

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

BuchWeltWeit Ludwig Meier e.K.
Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Allgemeine Gesch�ftsbedingungen mit Kundeninformationen
Inhaltsverzeichnis
Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
M�ngelhaftung
Anwendbares Recht
Gerichtsstand
Alternative Streitbeilegung

Geltungsbereich
1.1 Diese Allgemeinen Gesch�ftsbedingungen (nachfolgend "AGB") des BuchWeltWeit Inh. Ludwig Meier e.K. (nachfolgend "Verk�ufer"), gelten f�r alle Vertr�ge, die ein Verbraucher oder Unternehmer (nachfolgend ?...

Mehr Information