Logic Programming: Operational Semantics and Proof Theory - Couverture rigide

Andrews, James H.

9780521432191: Logic Programming: Operational Semantics and Proof Theory

Couverture rigide

ISBN 10 : 0521432197 ISBN 13 : 9780521432191

Editeur : Cambridge University Press, 1992

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 8,08

0 Neuf

A homogeneous treatment of the semantics of both theoretical and practical logic programming languages.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

Pr�sentation de l'�diteur

Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteurCambridge University Press
Date d'�dition1992
ISBN 10 0521432197
ISBN 13 9780521432191
ReliureReli�
Langueanglais
Nombre de pages116
Coordonn�es du fabricantnon disponible

Acheter D'occasion

�tat : Satisfaisant

This is an ex-library book and...

Afficher cet article

EUR 8,08

Autre devise

EUR 7,30 exp�dition depuis Royaume-Uni vers France

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

9780521607544: Logic Programming: Operational Semantics and Proof Theory

Edition pr�sent�e

ISBN 10 : 052160754X ISBN 13 : 9780521607544
Editeur : Cambridge University Press, 2008
Couverture souple

R�sultats de recherche pour Logic Programming: Operational Semantics and Proof...

Image d'archives

Logic Programming: Operational Semantics and Proof Theory

Andrews, J.H.

Edit� par Cambridge University Press, 1992

ISBN 10 : 0521432197 ISBN 13 : 9780521432191

Ancien ou d'occasion Couverture rigide

Vendeur : Anybook.com, Lincoln, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. Dust jacket in good condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9780521432191. N� de r�f. du vendeur 9835349

Contacter le vendeur

Acheter D'occasion

EUR 8,08

Autre devise

Frais de port : EUR 7,30

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Logic Programming: Operational Semantics and Proof Theory

James H. Andrews

Edit� par Cambridge University Press, 1992

ISBN 10 : 0521432197 ISBN 13 : 9780521432191

Ancien ou d'occasion Couverture rigide

Vendeur : Ammareal, Morangis, France

�valuation du vendeur 5 sur 5 �toiles

Hardcover. Etat : Tr�s bon. Ancien livre de biblioth�que. Edition 1992. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations. N� de r�f. du vendeur E-595-621

Contacter le vendeur