From logic to logic programming.

Doets, Kees.

9 Bewertungen von Goodreads

Sprache: Englisch

Verlag: Mit Pr, 1994

0262041421 / 9780262041423

  • Softcover
  • Gebraucht
Alle Details anzeigen
Verkäuferin bzw. Verkäufer von Kulturgütern

Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, NiederlandeKloof Booksellers & Scientia Verlag

Verkäufer/-in mit 4 Sternen

AbeBooks-Verkäufer/-in seit 7. Oktober 1999

Verbandsmitglied: NVVAILAB

Softcover

Zustand: Gebraucht - Wie neu

EUR 55,95

EUR 30,00 Versand 
Versand von Niederlande nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Cambridge, Mass. : MIT Press, 1994. Hardcover. 228 pp. - This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described.No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic. Condition : as new copy. ISBN 9780262041423. Keywords : COMPUTER STUDIES, Logic programming.…

Bestandsnummer des Verkäufers 287754

Titel
From logic to logic programming.
Autor
Doets, Kees.
Verlag
Mit Pr
Erscheinungsjahr
1994
Zustand
as new
Einband
Softcover
Sprache
Englisch
ISBN-10
0262041421
ISBN-13
9780262041423

Kloof Booksellers & Scientia Verlag

Amsterdam, Niederlande

Verkäufer/-in mit 4 Sternen

AbeBooks-Verkäufer/-in seit 7. Oktober 1999

Verbandsmitglied:

Versandkosten von Niederlande nach USA

Artikel14 bis 60 Werktage7 bis 15 Werktage
Erster ArtikelEUR 30,00EUR 65,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.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Rechnung
  • Vorauskasse

Shopbeschreibung

In business since 1923 we are specialized in law, philosophy and other scholarly books from the 16th - 20th century. We also carry a general stock and we have permanently in stock ca. 60.000 titles. Visit only by appointment. Member of ILAB and the NVVA, the Dutch Antiquarian Booksellers Association.

Spezialisierung

Art, Sociology, Economics, History, Medicine, Science, Philosophy, Law

Verbandsmitglied

  • The Nederlandsche Vereeniging van Antiquaren
  • International League of Antiquarian Booksellers
Die Mitglieder dieser Verbände haben sich verpflichtet, die höchsten Standards einzuhalten. Sie verbürgen sich für die Echtheit aller zum Verkauf angebotenen Artikel. Sie liefern fachkundige und detaillierte Beschreibungen, legen alle wesentlichen Mängel und/oder Restaurierungen offen, bieten klare und genaue Preisangaben und arbeiten während des Kaufprozesses fair und ehrlich.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Kloof Booksellers & Scientia Verlag

Niederlande