In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the second edition has a strong database flavour, which reflects my own research interests over the last three years. However, despite the fact that the second edition has about 70% more material than the first edition, many worthwhile topic!! are still missing. I can only plead that the field is now too big to expect one author to cover everything. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Related to this, I have also taken the opportunity to try to improve some of the earlier terminology. Firstly, I introduce "program statements", which are formulas of the form A+-W, where the head A is an atom and the body W is an arbitrary formula. A "program" is a finite set of program statements. There are various restrictions of this class. "Normal" programs are ones where the body of each program statement is a conjunction of literals. (The terminology "general", used in the first edition, is obviously now inappropriate).

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Herzlich Willkommen im online- shop des Antiquariates Bernhardt. Weit �ber 40.000 Titel zu allen Fach- Sach- und wissenschaftlichen Themen warten darauf von Ihnen entdeckt zu werden. Schwerpunkte bilden die Sachgebiete: Eisenbahn, Auto und Motorsport, Schifffahrt, Kunst, Geschichte, Philosophie, Esoterik, Rudolf Steiner, Bibliophile B�cher, Naturwissenschaften insbesondere die Mathematik und zahlreiche weitere Sachgebiete. Wenn Sie an unseren Neuzug�ngen interessiert sind, senden Sie uns einfach eine E-Mail mit den Themen f�r die Sie sich interessieren und Sie bekommen von uns regelm��ig eine E-Mail mit unseren Neuzug�ngen zu Ihrem Suchgebiet. Sollten Sie an B�chern aus unserem Shop interessiert sein und diese gerne selbst in unserem Laden abholen, rufen Sie uns bitte vorher an und wir werden Ihnen Ihre Titelauswahl bereitlegen. Selbstverst�ndlich ist eine Abholung in unserem Archiv, das sich in Kassel in der Knorrstr. 39 befindet, m�glich. Bitte vereinbaren Sie daf�r einfach einen Termin. Buchankauf Haben Sie B�cher zu verkaufen ? Dann bieten Sie uns doch Ihre B�cher an. Wir sind immer interessiert an gut erhaltenen, gebrauchten, antiquarischen und aktuellen Bibliotheken / B�chern mit den Schwerpunkten: Eisenbahn, Automobile und Motorsport, Luftfahrt, Schifffahrt, Geschichte, Milit�rgeschichte, Kunst, Philosophie, Architektur, Atlanten, Botanik, Bergbau, Literatur, Insel B�cherei, die andere Bibliothek, Rudolf Steiner, Esoterik, Fotografie, Geographie, Jagd, antike Reisebeschreibungen ( Afrikaexpeditionen, Polarforschung usw.), antike Kinderbilderb�cher, Kochen, Olympia- und Fu�ballb�cher, Motorr�der, Naturwissenschaften, h�here Mathematik und Physik, Wirtschaft, Zoologie, Ornithologie, Tauben, Geisteswissenschaften, Theologie, Orts- und Landeskunde, Zigarettenbilderalben, Sammelbilderalben, Raumbildalben, Bibliophile B�cher und Einb�nde, Ansichtenwerke, B�cher mit original Graphik, illustrierte B�cher, Stahlstichwerke, alte Bibeln, antike B�cher des 16. ? 20. Jahrhunderts, Sachb�cher, Fachb�cher und wissenschaftliche B�cher aus allen Wissensgebieten und vieles mehr. Au�erdem suchen wir noch alte St�dteansichten, Landkarten und dekorative Graphik sowie alte Postkarten, Ansichtskarten, alte Plakate, Fotos, Kleinantiquit�ten und vieles mehr Gerne kaufen wir auch wissenschaftliche Bibliotheken, hochwertige Sammlungen, komplette Buchl�den, Antiquariate und Archive. Bei gro�en B�chersammlungen vereinbaren Sie doch einfach einen Termin mit uns, wir kommen gerne bei Ihnen vorbei und besichtigen die B�cher bei Ihnen vor Ort ! Wir kaufen B�cher in ganz Deutschland an. Eine seri�se und faire Abwicklung ist f�r uns selbstverst�ndlich. Antiquariat Bernhardt Knorrstr.39 34121 Kassel Tel.: 0561 / 920 57 10 Email: info@antiquariat-bernhardt.de www.antiquariat-bernhardt.com �ffnungszeiten: Mo. - Fr. 10:00 - 18:00 Uhr

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Antiquariat Bernhardt
Germany

Condiciones de venta:

Gesch�fts- und Lieferbedingungen von Antiquariat Bernhardt

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 ...

M�s informaci�n

Condiciones de env�o:

Die Ware wird in der Regel innerhalb von 2 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. 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.

Widerrufsbelehrung
Widerrufsrecht
Sie k�nnen Ihre Vertragserkl�rung innerhalb von 14 Tagen ohne Angabe von Gr�nden in Textform (z. B. Brief, Fax, E-Mail) oder - wenn Ihnen die Sache vor Fristablauf �berlassen wird - durch R�cksendung der Sache widerrufen. Die Frist beginnt nach Erhalt dieser Belehrung in Textform, jedoch nicht vor Eingang der Ware beim Empf�nger (bei der wiederkehrenden Lieferung gleichartiger Waren nicht vor Eingang der ersten Teillieferung) und auch nicht vor Erf�llung unserer Informationspflichten gem�� Artikel 246 � 2 in Verbindung mit � 1 Abs. 1 und 2 EGBGB sowie unserer Pflichten gem�� 312e Abs. 1 Satz 1 BGB in Verbindung mit Artikel 246 � 3 EGBGB. Zur Wahrung der Widerrufsfrist gen�gt die rechtzeitige Absendung des Widerrufs oder der Sache. Der Widerruf ist zu richten an:
Antiquariat Bernhardt
Inh. Andreas Bernhardt
Knorrstr. 39
34121 Kassel
Telefon: 0561 / 920 57 10
Fax: 0561 / 510 90 200
E-Mail: info@antiquariat-bernhardt.de
http://www.antiquariat-bernhardt.com
Widerrufsfolgen
Im Falle eines wirksamen Widerrufs sind die beiderseits empfangenen Leistungen zur�ckzugew�hren und ggf. gezogene Nutzungen (z. B. Zinsen) herauszugeben. K�nnen Sie uns die empfangene Leistung ganz oder teilweise nicht oder nur in verschlechtertem Zustand zur�ckgew�hren, m�ssen Sie uns insoweit ggf. Wertersatz leisten. Bei der �berlassung von Sachen gilt dies nicht, wenn die Verschlechterung der Sache ausschlie�lich auf deren Pr�fung - wie sie Ihnen etwa im Ladengesch�ft m�glich gewesen w�re - zur�ckzuf�hren ist. Im �brigen k�nnen Sie die Pflicht zum Wertersatz f�r eine durch die bestimmungsgem��e Ingebrauchnahme der Sache entstandene Verschlechterung vermeiden, indem Sie die Sache nicht wie Ihr Eigentum in Gebrauch nehmen und alles unterlassen, was deren Wert beeintr�chtigt. Paketversandf�hige Sachen sind auf unsere Gefahr zur�ckzusenden. Sie haben die Kosten der R�cksendung zu tragen, wenn die gelieferte Ware der bestellten entspricht und wenn der Preis der zur�ckzusendenden Sache einen Betrag von 40 Euro nicht �bersteigt oder wenn Sie bei einem h�heren Preis der Sache zum Zeitpunkt des Widerrufs noch nicht die Gegenleistung oder eine vertraglich vereinbarte Teilzahlung erbracht haben. Anderenfalls ist die R�cksendung f�r Sie kostenfrei. Nicht paketversandf�hige Sachen werden bei Ihnen abgeholt. Verpflichtungen zur Erstattung von Zahlungen m�ssen innerhalb von 30 Tagen erf�llt werden. Die Frist beginnt f�r Sie mit der Absendung Ihrer Widerrufserkl�rung oder der Sache, f�r uns mit deren Empfang.
Ende der Widerrufsbelehrung

M�todos de pago
aceptados por la librer�a

Cheque Dinero en Efectivo Factura Transferencia Bancaria

A�adir una petici�n

Art�culos relacionados a Foundations of Logic Programming (Symbolic Computation).

Foundations of Logic Programming (Symbolic Computation).

Lloyd, John Wylie:

Usado - Encuadernaci�n de tapa dura

Informaci�n empresarial del vendedor