Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous diagrams. The material is organized into sixty modular themes, permitting many kinds of course to be based upon it; and it includes nearly seventy pages of detailed answers to all of the exercises.

Recensione

This book should be of interest to any student in computer science.Zbl. Math.

'Examples and exercises (with answers) allow a leisurely but deep use of an enjoyable book.' ASLIB Booklist, Vol. 56, no.5, May 1991

'contains an excellent account of the logical basis of logic programming ... The account is well motivated and illustrated with many examples ... one of the most comprehensive and accessible accounts of logic programming available today ... The book contains a large number of well-chosen exercises with complete answers, and I think it would make an ideal course text.' Mike Spivey, Oxford University Computing Lab., Science of Computer Programming (Vol.17, Nos 1-3, December 1991'

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

Descrizione libreria

Account dedicated to Print on Demand titles. Brook Bookstore offers a wide selection of books with a continuously updated catalog and fast shipments all over the world. We hold distribution rights with all of the publishers we promote and are in continuous search of new interesting titles to propose to our customers. We are part of Brandon Group SRL (an Italian company) and all of the orders are shipped from Europe. Depending on availability orders will be picked from our different warehouses. CONTACT US If you have any questions please do not hesitate to contact us sending a message to our store. We have a well prepared customer service team who will be happy to assist you. Our working hours are from Monday to Friday from 9:30 to 18:30 (CET, UTC +1) so messages received during the weekends might be responded with a slight delay but we guarantee you will get back to you as soon as possible. RETURNS If you want to return your order, please submit your request through Abebooks platform. Returns requests are managed case by case by our team and always in line with Abebooks policies: AbeBooks? Return Policy guarantees that you can return any book for a refund within 30 days, when the return is due to an error on the bookseller?s part. When the motive of the return is not due to an error of the seller it is up to Brook Bookstore to accept the return or else after studying the case. CANCELLATION You can send a cancellation request to our customer service team while the package has not yet been shipped. After that we cannot ensure we can retrieve the parcel but we suggest you to get in touch with us in order to verify the case. INVOICE You can request the invoice to be issued together with the shipment of the order or, at the latest, in the same month of the shipment.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Brandon Group S.R.L.
Via Vannella Gaetani 27, Brandon Group, Napoli, NA, 80121, Italy

Condizioni di vendita e spedizione

Condizioni di vendita

Account dedicato ai titoli Print on Demand.

CONTATTI
Se ha delle domande, non esiti a contattarci utilizzando l'opzione "Contattare il venditore". Il nostro efficiente e disponibile servizio clienti sar� felice di offrire assistenza. Il nostro orario di lavoro � dal luned� al venerd� dalle 9:30 alle 18:30 (CET, UTC +1), pertanto i messaggi ricevuti durante il fine settimana potrebbero ricevere una risposta con un leggero ritardo ma garantiamo che sar� inviata una risposta prima possibile.

CANCEL...

Ulteriori informazioni

Diritto di recesso

Condizioni di spedizione

Tariffe di spedizione nazionale per Italia

Tariffe di spedizione nazionale per Italia
Quantit� dell?ordine	Da 30 a 30 giorni lavorativi	Da 14 a 14 giorni lavorativi
Primo articolo	EUR 22.65	EUR 27.65

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Informazioni dettagliate sul venditore