Zdjęcie 1 z 1
Podręcznik logiki praktycznej i automatycznego rozumowania autorstwa Johna Harrisona: nowy–
Dostępny ostatni przedmiot
Stan:
Ostatnia sztuka / Sprzedane: 2
Cena:
US $173,45
Około709,83 zł
- Kup terazPodręcznik logiki praktycznej i automatycznego rozumowania autorstwa Johna Harrisona: nowy
Wysyłka:
Znajduje się w: Sparks, Nevada, Stany Zjednoczone
Dostawa:
Szacowana między So, 22 cze a Cz, 27 cze do 43230
Zwroty:
Zwrot w ciągu 30 dni. Za wysyłkę zwrotną płaci kupujący. Zobacz szczegóły- aby uzyskać więcej informacji dotyczących zwrotów
Płatności:
Kupuj bez obaw
Informacje o sprzedawcy
- 98,5% opinii pozytywnych
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 282828853007
Ostatnia aktualizacja: 15-12-2023 23:14:15 CET Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- Book Title
- Handbook of Practical Logic and Automated Reasoning
- Publication Date
- 2009-03-12
- Pages
- 702
- ISBN
- 0521899575
- Subject Area
- Computers, Philosophy
- Publication Name
- Handbook of Practical Logic and Automated Reasoning
- Item Length
- 10 in
- Publisher
- Cambridge University Press
- Subject
- Programming Languages / General, Intelligence (Ai) & Semantics, Logic
- Publication Year
- 2009
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Height
- 1.5 in
- Item Width
- 6.9 in
- Item Weight
- 49 Oz
- Number of Pages
- 702 Pages
O tym produkcie
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
Subject
Programming Languages / General, Intelligence (Ai) & Semantics, Logic
Publication Year
2009
Type
Textbook
Subject Area
Computers, Philosophy
Number of Pages
702 Pages
Dimensions
Item Length
10 in
Item Height
1.5 in
Item Width
6.9 in
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
Dewey Decimal
006.333
Dewey Edition
22
Illustrated
Yes
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
Alibris, Inc.
Rob Lambert
2560 9th St
Ste 215
94710-2565 Berkeley, CA
United States
Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 282828853007
Ostatnia aktualizacja: 15-12-2023 23:14:15 CET Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Wysyłka i obsługa
Lokalizacja przedmiotu:
Sparks, Nevada, Stany Zjednoczone
Wysyłka do:
Albania, Andora, Angola, Anguilla, Antigua i Barbuda, Arabia Saudyjska, Argentyna, Armenia, Aruba, Australia, Austria, Azerbejdżan, Bahamy, Bahrajn, Bangladesz, Belgia, Belize, Benin, Bermudy, Bhutan, Boliwia, Botswana, Bośnia i Hercegowina, Brunei, Burkina Faso, Burundi, Bułgaria, Chile, Chiny, Chorwacja, Cypr, Czad, Czarnogóra, Czechy, Dania, Demokratyczna Republika Konga, Dominikana, Dżibuti, Egipt, Ekwador, Erytrea, Estonia, Eswatini, Etiopia, Fidżi, Filipiny, Finlandia, Francja, Gabon, Gambia, Ghana, Gibraltar, Grecja, Grenada, Grenlandia, Gruzja, Gujana, Gwatemala, Gwinea, Gwinea Równikowa, Haiti, Hiszpania, Holandia, Honduras, Hongkong, Indie, Indonezja, Irlandia, Islandia, Izrael, Jamajka, Japonia, Jemen, Jordania, Kajmany, Kambodża, Kamerun, Kanada, Katar, Kazachstan, Kenia, Kirgistan, Kiribati, Kolumbia, Kongo, Korea Południowa, Kostaryka, Kuwejt, Laos, Lesotho, Liban, Liechtenstein, Litwa, Luksemburg, Macedonia Północna, Madagaskar, Makau, Malawi, Malediwy, Malezja, Mali, Malta, Maroko, Mauretania, Mauritius, Meksyk, Monako, Mongolia, Montserrat, Mozambik, Mołdawia, Namibia, Nauru, Nepal, Niemcy, Niger, Nikaragua, Norwegia, Nowa Zelandia, Oman, Pakistan, Panama, Papua-Nowa Gwinea, Paragwaj, Peru, Polska, Portugalia, Południowa Afryka, Republika Zielonego Przylądka, Republika Środkowoafrykańska, Rumunia, Rwanda, Saint Kitts i Nevis, Saint Lucia, Saint Vincent i Grenadyny, Salwador, Samoa Zachodnie, San Marino, Senegal, Serbia, Seszele, Sierra Leone, Singapur, Sri Lanka, Stany Zjednoczone, Surinam, Szwajcaria, Szwecja, Słowacja, Słowenia, Tadżykistan, Tajlandia, Tajwan, Tanzania, Togo, Tonga, Trynidad i Tobago, Tunezja, Turcja, Turkmenistan, Turks i Caicos, Uganda, Urugwaj, Uzbekistan, Vanuatu, Wallis i Futuna, Watykan, Wielka Brytania, Wietnam, Wybrzeże Kości Słoniowej, Wyspy Salomona, Węgry, Włochy, Zambia, Zimbabwe, Zjednoczone Emiraty Arabskie, Łotwa
Wykluczenia:
APO/FPO, Afganistan, Alaska/Hawaje, Algieria, Barbados, Białoruś, Brazylia, Gujana Francuska, Gwadelupa, Gwinea Bissau, Irak, Liberia, Libia, Martynika, Nigeria, Nowa Kaledonia, Polinezja Francuska, Protektoraty USA, Reunion, Rosja, Ukraina, Wenezuela
| Wysyłka i obsługa | Do | Usługa | Dostawa*Zobacz uwagi o dostawie |
|---|---|---|---|
| Bezpłatna wysyłka | Stany Zjednoczone | Standard Shipping | Szacowana między So, 22 cze a Cz, 27 cze do 43230 |
| US $5,50 (około 22,51 zł) | Stany Zjednoczone | Expedited Shipping | Szacowana między Pt, 21 cze a Pn, 24 cze do 43230 |
| Czas na wysłanie |
|---|
| Zwykle wysyłam przesyłkę w ciągu 2 dni roboczych po otrzymaniu rozliczonej płatności. |
| Podatki |
|---|
| Sprzedawca nalicza podatek od sprzedaży w |
Podatek od sprzedaży dla przedmiotu nr 282828853007
Podatek od sprzedaży dla przedmiotu nr 282828853007
Sprzedawca nalicza podatek od sprzedaży dla przedmiotów wysyłanych do następujących stanów:
| Stan | Stawka podatku od sprzedaży |
|---|
Warunki zwrotów
| Po otrzymaniu przedmiotu skontaktuj się ze sprzedawcą w ciągu | Zwrot pieniędzy zostanie dokonany jako | Wysyłka zwrotna |
|---|---|---|
| 30 dni | Zwrot gotówki | Za wysyłkę zwrotną płaci kupujący |
Kupujący jest odpowiedzialny za opłacenie kosztów wysyłki zwrotnej.
| Szczegóły warunków zwrotów |
|---|
| Zwroty są przyjmowane |
Szczegóły dotyczące płatności
Formy płatności
Zarejestrowany jako sprzedawca-firma
Opinie sprzedawców (462 658)
p***p (57)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
It was great
i***i (133)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Bought a hard to find book in pristine brand new condition. Was shipped out very fast and arrived sooner than expected. No damage to anything, very pleased to do business with this seller.
f***i (1338)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Smooth transaction