Bild 1 von 1
Handbuch der praktischen Logik und des automatisierten Denkens von John Harrison: Neu-
Letzter Artikel
Artikelzustand:
Letzter Artikel / 2 verkauft
Preis:
US $173,45
Ca.EUR 159,64
- Sofort-KaufenHandbuch der praktischen Logik und des automatisierten Denkens von John Harrison: Neu
Versand:
Standort: Sparks, Nevada, USA
Lieferung:
Lieferung zwischen Fr, 24. Mai und Do, 30. Mai nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 98,5% positive Bewertungen
Angemeldet als gewerblicher Verkäufer
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:282828853007
Artikelmerkmale
- Artikelzustand
- Book Title
- Handbook of Practical Logic and Automated Reasoning
- Publication Date
- 2009-03-12
- Pages
- 702
- ISBN
- 0521899575
- Publication Year
- 2009
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Publication Name
- Handbook of Practical Logic and Automated Reasoning
- Item Height
- 1.5in
- Item Length
- 10in
- Publisher
- Cambridge University Press
- Item Width
- 6.9in
- Item Weight
- 49 Oz
- Number of Pages
- 702 Pages
Über dieses Produkt
Product Information
A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).
Product Identifiers
Publisher
Cambridge University Press
ISBN-10
0521899575
ISBN-13
9780521899574
eBay Product ID (ePID)
70910326
Product Key Features
Publication Name
Handbook of Practical Logic and Automated Reasoning
Format
Hardcover
Language
English
Publication Year
2009
Type
Textbook
Number of Pages
702 Pages
Dimensions
Item Length
10in
Item Height
1.5in
Item Width
6.9in
Item Weight
49 Oz
Additional Product Features
Reviews
"[...] the book is remarkable in many ways, including the breadth of its scope, the depth of its insights, and the clarity and readability of its prose. [...] while Harrison does focus on implementation and practical issues, he does not skimp on the underlying theory; indeed, the text passes between the two poles with surprising fluidity. The book does not assume background in logic, and appendices review the requisite background in mathematics and programming. As a result, the text is accessible to a broad audience, including sufficiently advanced undergraduates. [...] Harrison does a very good job of providing broader context and pointers to the literature. Each section ends with copious notes and references. As a result, the book can serve as a helpful introduction to the contemporary literature, like having a friendly uncle working in the field. [...] It provides a lucid and synoptic overview of these topics, conveys a solid theoretical background, provides tools for experimentation, and offers notes and pointers that facilitate a smooth transition to the contemporary literature. [...] Anyone working in automated reasoning, or looking to come up to speed on developments in the field, will want to have a copy at hand." Jeremy Avigad, Theory and Practice of Logic Programming, "[...] sure to fill a need for a well-rounded work that can serve both as a reference on a range of topics and as an introductory text, especially for those who wish to study the subject for its possible practical uses. [...] Good features of the book are its overall readability, the good historical perspective conveyed while retaining its serious scholarly gravitas, and the use of OCaml to work with the concepts, presented alongside." Shrisha Rao, Computing Reviews, "Harrison exhibits both the remarkable flexibility and limitations of OCaml (and other languages) for automated theorem proving. [...] I strongly recommend Harrison's handbook to mathematicians working on provability, computer program developers working to establish self-coherence of some parts of their programs, and students looking to understand propositional and first-order logic." Arturo Ortiz-Tapia, Computing Reviews, 'John Harrison … has written what clearly will be the book about automation in theorem proving. People often ask me whether they should buy this book. My answer … always is: yes, of course you should buy this book. It is a masterpiece.' Journal of Automated Reasoning, "Overall this is an excellent book that provides a wide-ranging view on automated reasoning techniques for classical logic. The author achieves a good balance between providing good intuition and rigour in presenting the selected materials. Its breadth will make sure that even an expert in the area will find something useful in the book." Alwen Tiu, The Bulletin of Symbolic Logic, "Valuable as both a strong introduction for complete beginners and a rich reference source, even for expert logicians." D.V. Feldman, CHOICE, 'Contemporary research in computer science has produced an abundance of formal methods designed to enable hardware and software systems to reason correctly, and to enable us to reason better about these systems. Indeed, the explosion of research and specialised techniques can make it hard for students and newcomers to enter the field. John Harrison's Handbook of Practical Logic and Automated Reasoning is a significant addition to the expository literature on the subject, and will serve as a valuable resource for beginners and experts alike.' Theory and Practice of Logic Programming, " [...] if you want to implement ATP (automated theorem proving) code this book is an excellent choice. It has complete implementations of absolutely everything in OCaml (a dialect of ML, a mostly functional programming language) which is an excellent choice for this type of application." D. Fox, amazon.com
Table of Content
Preface; Ideological orientation; Acknowledgements; How to read this book; 1. Introduction; 2. Propositional logic; 3. First-order logic; 4. Equality; 5. Decidable problems; 6. Interactive theorem proving; 7. Limitations; Appendix 1. Mathematical background; Appendix 2. OCaml made light of; Appendix 3. Parsing and printing of formulas; References; Index.
Copyright Date
2009
Target Audience
Scholarly & Professional
Topic
Programming Languages / General, Intelligence (Ai) & Semantics, Logic
Dewey Decimal
006.333
Dewey Edition
22
Illustrated
Yes
Genre
Computers, Philosophy
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
Alibris, Inc.
Rob Lambert
2560 9th St
Ste 215
94710-2565 Berkeley, CA
United States
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:282828853007
Verpackung und Versand
Artikelstandort:
Sparks, Nevada, USA
Versand nach:
Albanien, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guatemala, Guinea, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jordanien, Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Kuwait, Laos, Lesotho, Lettland, Libanon, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Mauretanien, Mauritius, Mazedonien, Mexiko, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niger, Norwegen, Oman, Pakistan, Panama, Papua-Neuguinea, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Salomonen, Sambia, Samoa (Westsamoa), San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Spanien, Sri Lanka, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Türkei, USA, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich
Ausgeschlossen:
APO/FPO, Afghanistan, Alaska/Hawaii, Algerien, Barbados, Belarus, Brasilien, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Guinea-Bissau, Irak, Liberia, Libyen, Martinique, Neukaledonien, Nigeria, Russische Föderation, Réunion, US-Protektorate, Ukraine, Venezuela
| Verpackung und Versand | Nach | Service | Lieferung*Siehe Lieferhinweise |
|---|---|---|---|
| Kostenloser Versand | USA | Standard Shipping | Lieferung zwischen Fr, 24. Mai und Do, 30. Mai nach 43230 |
| US $5,50 (ca. EUR 5,06) | USA | Expedited Shipping | Lieferung zwischen Di, 28. Mai und Sa, 1. Jun nach 43230 |
| Bearbeitungszeit |
|---|
| Der Verkäufer verschickt den Artikel innerhalb von 2 Werktagen nach Zahlungseingang. |
| Steuern |
|---|
| Verkäufer berechnet Steuern in |
Mehrwertsteuer für diesen Artikel #282828853007
Mehrwertsteuer für diesen Artikel #282828853007
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
| Bundesstaat | Steuersatz für Sales Tax |
|---|
Rücknahmebedingungen
| Frist für Kontaktaufnahme mit dem Verkäufer nach Erhalt Artikels: | Rückerstattung erfolgt in folgender Form: | Rücksendung |
|---|---|---|
| 30 Tage | Geld zurück | Käufer zahlt Rückversand |
Der Käufer trägt die Rücksendekosten.
| Rücknahmebedingungen im Detail |
|---|
| Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (459.537)
s***t (213)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
A+++
t***7 (565)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Thanks
9***3 (580)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
In good condition packaged well shipping was slow but I don't mind. Positive seller.
Noch mehr entdecken:
- Harry Harrison Belletristik-Bücher,
- Kim Harrison Belletristik-Bücher,
- Kim-Harrison-Taschenbuch-Belletristik - Bücher,
- Deutsche Harry Harrison Belletristik-Bücher,
- Deutsche Bücher Kim Harrison Belletristik,
- Hörspiele Geisterjäger John Sinclair,
- John Grisham Belletristik-Bücher,
- John Steinbeck Belletristik-Bücher,
- John Irving Belletristik-Bücher,
- Hörbücher und Hörspiele Geisterjäger John Sinclair