From logic to logic programming.

Doets, Kees.

9 évaluations par Goodreads

Langue : anglais

Edité par Mit Pr, 1994

0262041421 / 9780262041423

Partenaire historique

Vendeur : Kloof Booksellers & Scientia Verlag, Amsterdam, Pays-BasKloof Booksellers & Scientia Verlag

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 7 octobre 1999

Membre d’une association professionnelle : NVVAILAB

Livre broché

Etat: Occasion - Comme neuf

EUR 55,95

EUR 30,00 expédition 
Expédition depuis Pays-Bas vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

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

N° de réf. du vendeur 287754

Titre
From logic to logic programming.
Auteur
Doets, Kees.
Éditeur
Mit Pr
Année de publication
1994
État de l'article
as new
Reliure
Couverture souple
Langue
anglais
ISBN à 10 chiffres
0262041421
ISBN à 13 chiffres
9780262041423

Kloof Booksellers & Scientia Verlag

Amsterdam, Pays-Bas

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 7 octobre 1999

Membre d’une association professionnelle :

Frais d'expédition de Pays-Bas vers Etats-Unis

Article14 à 60 jours ouvrés7 à 15 jours ouvrés
Premier articleEUR 30,00EUR 65,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • Facture
  • Paypal
  • Virement bancaire

Description de la boutique

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.

Spécialité

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

Membre d’une association professionnelle

  • The Nederlandsche Vereeniging van Antiquaren
  • International League of Antiquarian Booksellers
Les membres de ces associations s'engagent à respecter des critères de qualité particulièrement contraignants. Ils se portent garants de l'authenticité de tous les articles proposés à la vente. Ils fournissent des descriptions détaillées et professionnelles, signalent tous défauts et/ou traitements de restauration importants, établissent des prix clairs et précis et font preuve d'équité et d'honnêteté lors de l'achat d'un article.

Profil professionnel du vendeur

Kloof Booksellers & Scientia Verlag

Pays-Bas