Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de biblioth�que avec signature et cachet. BON �tat, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 00A10 AME Ser.2/vol.178 9780821803868 Sprache: Englisch Gewicht in Gramm: 1150.

Bestandsnummer des Verk�ufers 2505803

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Problems of reducing the exhaustive search V. Kreinovich, G. Mints, ed. Translations Series 2 178.

Verlag

Providence, American Mathematical Society [1997].

Erscheinungsjahr

1997

Sprache

Englisch

ISBN-10

0821803867

ISBN-13

9780821803868

Einband

Hardcover

Verk�uferkataloge

SA MATHEMATIK

�ber diesen Titel

Inhaltsangabe

This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in ""Problemy Sokrashcheniya Perebora"", published in Russian in 1987 by the Scientific Council 'Cybernetics' of the USSR Academy of Sciences. The problems form the nucleus of this intensively developing area.This translation is dedicated to the memory of two remarkable Russian mathematicians, Sergei Maslov and his wife, Nina Maslova. Maslov is known as the originator of the inverse method in automated deduction, which was discovered at the same time as the resolution method of J. A. Robinson and has approximately the same range of applications. In 1981, Maslov proposed an iterative algorithm for propositional satisfiability based on some general ideas of search described in detail in his posthumously published book, ""Theory of Deductive Systems and Its Applications"" (1986; English 1987). This collection contains translations of papers on propositional satisfiability and related logical problems. The papers related to Maslov's iterative method of search reduction play a significant role.

Rese�a del editor

This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in roblemy Sokrashcheniya Perebora, published in Russian in 1987 by the Scientific Council "Cybernetics" of the USSR Academy of Sciences. The problems form the nucleus of this intensively developing area. This translation is dedicated to the memory of two remarkable Russian mathematicians, Sergei Maslov and his wife Nina Maslova. Maslov is known as the originator of the universe method in automated deduction, which was discovered at the same time as the resolution method of J. A. Robison and has approximately the same range of applications. In 1981, Maslov proposed an iterative algorithm for propositional satisfiability based on some general ideas of search described in detail in his posthumously published book, Theory of Deductive Systems and Its Applications (1986; English 1987). This collection contains translations of papers on propositional satisfiability and related logical problems. The papers related to Maslov's iterative method of search reduction play a significant role.

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

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Antiquariat Bookfarm
Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Widerrufsbelehrung/ Muster-Widerrufsformular/
Allgemeine Gesch�ftsbedingungen und Kundeninformationen/ Datenschutzerkl�rung
[English below]

Widerrufsrecht f�r Verbraucher
(Verbraucher ist jede nat�rliche Person, die ein Rechtsgesch�ft zu Zwecken abschlie�t, die �berwiegend weder ihrer gewerblichen noch ihrer selbstst�ndigen beruflichen T�tigkeit zugerechnet werden k�nnen.)

Widerrufsbelehrung

Widerrufsrecht
Sie haben das Recht, binnen 30 Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen....

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Die Versandkostenpauschalen basieren auf Sendungen mit einem durchschnittlichen Gewicht. Falls das von Ihnen bestellte Buch besonders schwer oder sperrig sein sollte, werden wir Sie informieren, falls zus�tzliche Versandkosten anfallen.

The flat shipping rates are based on shipments with an average weight. If the book you ordered is particularly heavy or bulky, we will inform you of any additional shipping charges that may apply.

Versandkosten innerhalb von Deutschland

Versandkosten innerhalb von Deutschland
Bestellmenge	1 bis 4�Werktage	1 bis 4�Werktage
Erster Artikel	EUR 5.00	EUR 5.00

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