Ancien livre de biblioth�que. Petite(s) trace(s) de pliure sur la couverture. L�g�res traces d'usure sur la couverture. Salissures sur la tranche. Couverture diff�rente. Edition 1992. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisat ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Stains on the edge. Different cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-592-949

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Logic Programming in Action: Second ...

Casa editrice: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Data di pubblicazione: 1992

Legatura: Softcover

Condizione: Bon

Descrizione articolo

Riassunto:

Logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of users in universities,research institutes, and industry are realizing. Logicprogramming languages, specifically Prolog, have turned outto be ideal as prototyping and application developmentlanguages.This volume presents the proceedings of the Second LogicProgramming Summer School, LPSS'92. The First LogicProgramming Summer School, LPSS '90, addressed thetheoretical foundations of logic programming. This volumefocuses onthe relationship between theory and practice, andon practical applications.The introduction to the volume is by R. Kowalski, one of thepioneers in the field. The following papers are organizedinto sections on constraint logic programming, deductivedatabases and expert systems, processing of natural andformal languages, software engineering, and education.

Contenuti:

Theory and practice in logic programming.- Constraint Logic Programming.- Scheduling and optimisation in the Automobile Industry.- Factory scheduling using finite domains.- The Prince project and its applications.- A (Gentle) introduction to deductive databases.- Knowledge based PPS applications in PROTOS-L.- The SECReTS banking expert system from phase 1 to phase 2.- Logic engineering and clinical dilemmas.- A knowledge-based approach to strategic planning.- Expert systems in mining.- Natural and formal language processing.- PUNDIT — Natural language interfaces.- The Esteam-316 dialogue manager.- Legislation as logic programs.- Knowledge representation for natural language processing.- A set of tools for VHDL design.- Tutorial notes: Reasoning about logic programs.- Software formal specification by logic programming: The example of standard Prolog.- The art of computer un-programming: Reverse engineering in Prolog.- Opium — An advanced debugging system.- Automatic theorem proving within the portable AI Lab.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

English below. Ammareal est une librairie professionnelle sp�cialis�e dans le livre d?occasion. Nous exp�dions partout dans le monde. Nous avons plus de 250 000 ouvrages en stock dont un grand nombre de livres techniques et acad�miques. Nous reversons jusqu?� 15% du prix de vente de chaque livre � des organisations caritatives, des biblioth�ques et des associations luttant contre l?illettrisme. Ce que nous ne vendons pas nous le donnons, ce que nous ne donnons pas nous le recyclons. Ammareal is a professional bookseller speciliazed in used books. We ship worldwide. We have more than 250 000 books in stock, including a large number of technical and university-level books. We give back up to 15% of the price of each book to charities, libraries and organizations fighting in favor of literacy. What we do not sell, we give, what we do not give we recycle.

Visita la pagina della libreria