Series: Studies in Computer Science and Artificial Intelligence 404p grey cloth with red lettering, a nice clean copy, unused, minimal library marking, tight and clean, year of publiction in book given as 1995 Language: English.

N� de r�f. du vendeur 102570

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

Logic Programming: Formal Methods and Practical Applications.

�diteur

Amsterdam: Elsevier

Date de parution

1994

Langue

anglais

ISBN � 10 chiffres

0444820922

ISBN � 13 chiffres

9780444820921

Reliure

Hardcover

�tat de l'article

Very Good

Catalogues du vendeur

Computing

A propos de ce titre

Synopsis

There is growing evidence of a convergence between the technical challenges of developing advanced software systems on the one hand, and the formal techniques, tools and features evolving from the logic programming paradigm on the other. This book aims at promoting such convergence. It provides contributions towards different aspects of logic programming, which are relevant to the development of complex and reliable software systems and describes a number of advanced applications. The papers are organized around four main themes: Foundations; Languages Aspects and Methodology; Constraints; and Applications. The publication closes with an outlook on the challenges and opportunities lying ahead in the field of logic programming.

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

Description de la librairie

We have been selling academic and scholarly books in Cambridge since 1996. Today we occupy an old warehouse on Coldhams Road, adjacent to the railway tracks leading to Ely, not too far from the airport. The site is called Restwell House. We are an internet bookshop, but visitors are very welcome. Some drop off a few boxes of unwanted books, some pick up a book to save on the postage, some just drop by to get to know us, or want to take advantage of the many bargains on our wooden shelves bookshop, which is distinct from the internet stock offered on the web. Our mission has always been to find new homes for the books we are looking after. If we cannot sell them online, we offer them at very low prices to our visitors. We try to give you a serious and dedicated service which is focussed on the individuality of each single book: its condition, its origin, sometimes even its smell. You come to us for real books, not just instances of ISBNs.

Visitez la page d�accueil du vendeur

Membre d'association

Les membres de ces associations s'engagent � maintenir des normes de qualit� sup�rieure. Ils garantissent l'authenticit� de tous les articles propos�s � la vente. Ils fournissent des descriptions expertes et d�taill�es, indiquent tous les d�fauts importants ainsi que les restaurations, fournissent des prix clairs et pr�cis et font preuve d��quit� et d�honn�tet� tout au long de la relation commerciale.

Informations commerciales relatives au vendeur

Plurabelle Books Ltd
Unit 8 Restwell House, Coldhams Rd, Cambridge, CB1 3EW, United Kingdom

Conditions de vente et de livraison

Conditions g�n�rales de vente

Major Credit Cards accepted, also Paypal We can also take payment in Euros with our German Postbank account. For more information call, mail or visit our premises in Cambridge.

Conditions d'exp�dition

Orders usually ship on the day received. Standard shipping to International destinations is by Airmail. Please let us know if you'd like a quote for tracked shipping. If your order is for multiple heavy volumes and our default shipping rate is based on one volume only, we may contact you regarding additional postage.
We are pleased to answer any questions you may have and are happy to send images on request.