Articoli correlati a Volume 1: Logic Foundations: Logical Foundations
Sinossi
Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. This Handbook has been created in response to the growing need for an in-depth survey of the applications of logic in AI and computer science.
The Handbook of Logic in Artificial Intelligence and Logic Programming will be published in five volumes. Each volume provides a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. this first volume presents the logical foundations and deduction methodologies extensively used in AI.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
Review of the first three volumes: `.. an essential acquisition for any library covering theoretical computer science and highly desirable for any researcher in the field.' Times Higher Education Supplement
Review of the first three volumes: `... the first three volumes... represent a detailed and comprehensive exposition of the theoretical and computational features of a wide variety of classical and non-classical logics.'`... can be unreservedly recommended to AI practitioners with proficiency in logic and commitment to its role in the development of AI systems.'The Computer Journal
Contenuti
- List of contributors
- 1.1: David J. Israel: The role(s) of logic in artificial intelligence
- 1.2: Martin Davis: First order logic
- 1.3: W. Bibel and E. Eder: Methods and calculi for deduction
- 1.4: Norbert Eisinger and Hans Jürgen Ohlbach: Deduction systems based on resolution
- 1.5: David A. Plaisted: Equational reasoning and term rewriting systems
- 1.6: Melvin Fitting: Basic modal logic
- 1.7: Wilfrid Hodges: Logical features of Horn clauses
- Author index
- Subject index
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreClarendon Press
- Data di pubblicazione1993
- ISBN 10 019853745X
- ISBN 13 9780198537458
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine534
Compra nuovo
Visualizza questo articolo
EUR 61,54
GRATIS per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Volume 1: Logic Foundations: Logical Foundations
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Da: BGV Books LLC, Murray, KY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Exact ISBN match. Immediate shipping. No funny business. Pics available upon request. Codice articolo 9780198537458
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 1, Logical Foundations
Editore:
Oxford University Press, 1993
ISBN 10: 019853745X
ISBN 13: 9780198537458
Antico o usato
Rilegato
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. 536 pp., Hardcover, a few very light scratches to the rear cover, else fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB1319865
Quantità: 1 disponibili
Immagini fornite dal venditore
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Da: Solr Books, Lincolnwood, IL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear. Codice articolo 5D4WH70001QO_ns
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations.
Editore:
Oxford University Press, 1993
ISBN 10: 019853745X
ISBN 13: 9780198537458
Antico o usato
Rilegato
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
gebundene Ausgabe. Volume 1: Logical Foundation. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Einband mit Goldprägedruck. Buchrücken mit rotem Rückenschildchen. Buchrücken bestoßen. XIII, 536 Seiten, Englisch 986g. Codice articolo 492390
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming : Volume 1: Logical Foundations
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 536 | Sprache: Englisch | Produktart: Sonstiges. Codice articolo 2402856/202
Quantità: 3 disponibili
Immagini fornite dal venditore
Handbook of Logic in Artificial Intelligence and Logic Programming : Volume 1: Logical Foundations
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 536 | Sprache: Englisch | Produktart: Sonstiges. Codice articolo 2402856/2
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
HRD. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9780198537458
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780198537458_new
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9780198537458
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Da: Toscana Books, AUSTIN, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Codice articolo Scanned019853745X
Quantità: 1 disponibili