Logic for Applications
Anil Nerode
Venduto da THE SAINT BOOKSTORE, Southport, Regno Unito
Venditore AbeBooks dal 14 giugno 2006
Nuovi - Brossura
Condizione: Nuovo
Quantità: Più di 20 disponibili
Aggiungere al carrelloVenduto da THE SAINT BOOKSTORE, Southport, Regno Unito
Venditore AbeBooks dal 14 giugno 2006
Condizione: Nuovo
Quantità: Più di 20 disponibili
Aggiungere al carrelloThis item is printed on demand. New copy - Usually dispatched within 5-9 working days 754.
Codice articolo C9781461268550
From reviews of the first edition: "... must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..." SIGACT News
From the reviews of the second edition:
"...the book achieves its goal of being a unified introduction into classical logic, logic programming and certain non-classical logics. ...the book succeeded in presenting a uniform framework for describing different logics. The author’s thorough approach to describing logic programming, via introduction of resolution-based refutations and subsequent study of different kinds of resolutions allows the reader to gradually switch from the study of logic to the study of logical programming paradigm and provides a lot of intuition about the behavior of logic programs.
As such the book can be recommended both as a textbook for senior/graduate course in logic/logic programming, and as a reading or reference for graduate students in the areas related to discrete mathematics."
(Alexander Dekhtyar, William Gasarch’s Book Review Column, SIGACT News)
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Visita la pagina della libreria
Please order through the Abebooks checkout. We only take orders through Abebooks - We don't take direct orders by email or phone.
Refunds or Returns: A full refund of the purchase price will be given if returned within 30 days in undamaged condition.
As a seller on abebooks we adhere to the terms explained at http://www.abebooks.co.uk/docs/HelpCentral/buyerIndex.shtml - if you require further assistance please email us at orders@thesaintbookstore.co.uk
Most orders usually ship within 1-3 business days, but some can take up to 7 days.
| Quantità dell?ordine | Da 7 a 28 giorni lavorativi | Da 7 a 28 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 20.94 | EUR 23.23 |
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.