Zdjęcie 1 z 1
Rippling: wskazówki meta-poziomowe dla rozumowania matematycznego–
Stan:
“Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, ”... Zobacz więcejinformacji o stanie
Wysyłka:
Znajduje się w: Aurora, Illinois, Stany Zjednoczone
Dostawa:
Szacowana między Wt, 7 maj a Pt, 10 maj do 43230
Zwroty:
Zwrot w ciągu 30 dni. Za wysyłkę zwrotną płaci sprzedawca. Zobacz szczegóły- aby uzyskać więcej informacji dotyczących zwrotów
Płatności:
Kupuj bez obaw
Informacje o sprzedawcy
- 99% opinii pozytywnych
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 145616408750
Ostatnia aktualizacja: 19-04-2024 07:02:23 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- Dobry
- Uwagi sprzedawcy
- Binding
- Hardcover
- Weight
- 1 lbs
- Product Group
- Book
- IsTextBook
- No
- ISBN
- 9780521834490
- Publication Name
- Rippling : Meta-Level Guidance for Mathematical Reasoning
- Item Length
- 9.3in
- Publisher
- Cambridge University Press
- Publication Year
- 2005
- Series
- Cambridge Tracts in Theoretical Computer Science Ser.
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Height
- 0.7in
- Item Width
- 6.2in
- Item Weight
- 16.8 Oz
- Number of Pages
- 216 Pages
O tym produkcie
Product Information
The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique, systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.
Product Identifiers
Publisher
Cambridge University Press
ISBN-10
052183449x
ISBN-13
9780521834490
eBay Product ID (ePID)
7038623177
Product Key Features
Publication Name
Rippling : Meta-Level Guidance for Mathematical Reasoning
Format
Hardcover
Language
English
Publication Year
2005
Series
Cambridge Tracts in Theoretical Computer Science Ser.
Type
Textbook
Number of Pages
216 Pages
Dimensions
Item Length
9.3in
Item Height
0.7in
Item Width
6.2in
Item Weight
16.8 Oz
Additional Product Features
Series Volume Number
Series Number 56
Lc Classification Number
Qa76.9.A96 B84 2005
Table of Content
Preface; 1. An introduction to rippling; 2. Varieties of rippling; 3. Productive use of failure; 4. A formal account of rippling; 5. The scope and limitations of rippling; 6. From rippling to a general methodology; 7. Conclusions; Appendix 1. An annotated calculus and a unification algorithm; Appendix 2. Definitions of functions used in this book; Bibliography; Index.
Copyright Date
2005
Target Audience
Scholarly & Professional
Topic
Intelligence (Ai) & Semantics, General, Logic
Lccn
2004-051866
Dewey Decimal
006.3/33
Dewey Edition
22
Illustrated
Yes
Genre
Computers, Mathematics
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
Thrift Books Global, LLC
TB Thrift Books
18300 Cascade Ave S
Ste 150
98188 Seattle, WA
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: 145616408750
Ostatnia aktualizacja: 19-04-2024 07:02:23 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Wysyłka i obsługa
Lokalizacja przedmiotu:
Aurora, Illinois, Stany Zjednoczone
Wysyłka do:
Afganistan, Albania, Algieria, Andora, Angola, Anguilla, Antigua i Barbuda, Antyle Holenderskie, Arabia Saudyjska, Argentyna, Armenia, Aruba, Australia, Austria, Azerbejdżan, Bahamy, Bahrajn, Bangladesz, Belgia, Belize, Benin, Bermudy, Bhutan, Białoruś, Boliwia, Botswana, Bośnia i Hercegowina, Brazylia, Brunei, Brytyjskie Wyspy Dziewicze, Burkina Faso, Burundi, Bułgaria, Cały świat, Chile, Chiny, Chorwacja, Cypr, Czad, Czarnogóra, Czechy, Dania, Demokratyczna Republika Konga, Dominika, Dominikana, Dżibuti, Egipt, Ekwador, Erytrea, Estonia, Eswatini, Etiopia, Falklandy (Malwiny), Fidżi, Filipiny, Finlandia, Francja, Gabon, Gambia, Ghana, Gibraltar, Grecja, Grenada, Grenlandia, Gruzja, Guam, Guernsey, Gujana, Gwatemala, Gwinea, Gwinea Bissau, Gwinea Równikowa, Haiti, Hiszpania, Holandia, Honduras, Hongkong, Indie, Indonezja, Irak, Irlandia, Islandia, Izrael, Jamajka, Japonia, Jemen, Jersey, Jordania, Kajmany, Kambodża, Kamerun, Kanada, Katar, Kazachstan, Kenia, Kirgistan, Kiribati, Kolumbia, Komory, Kongo, Korea Południowa, Kostaryka, Kuwejt, Laos, Lesotho, Liban, Liberia, Liechtenstein, Litwa, Luksemburg, Macedonia Północna, Madagaskar, Majotta, Makau, Malawi, Malediwy, Malezja, Mali, Malta, Maroko, Mauretania, Mauritius, Meksyk, Mikronezja, Monako, Mongolia, Montserrat, Mozambik, Mołdawia, Namibia, Nauru, Nepal, Niemcy, Niger, Nigeria, Nikaragua, Niue, Norwegia, Nowa Zelandia, Oman, Pakistan, Palau, Panama, Papua-Nowa Gwinea, Paragwaj, Peru, Polska, Portoryko, Portugalia, Południowa Afryka, Republika Zielonego Przylądka, Republika Środkowoafrykańska, Rumunia, Rwanda, Sahara Zachodnia, Saint Kitts i Nevis, Saint Lucia, Saint Pierre i Miquelon, Saint Vincent i Grenadyny, Salwador, Samoa Amerykańskie, Samoa Zachodnie, San Marino, Senegal, Serbia, Seszele, Sierra Leone, Singapur, Somalia, Sri Lanka, Surinam, Svalbard i Jan Mayen, Szwajcaria, Szwecja, Słowacja, Słowenia, Tadżykistan, Tajlandia, Tajwan, Tanzania, Togo, Tonga, Trynidad i Tobago, Tunezja, Turcja, Turkmenistan, Turks i Caicos, Tuvalu, Uganda, Urugwaj, Uzbekistan, Vanuatu, Wallis i Futuna, Watykan, Wielka Brytania, Wietnam, Wybrzeże Kości Słoniowej, Wyspy Cooka, Wyspy Dziewicze (USA), Wyspy Marshalla, Wyspy Salomona, Węgry, Włochy, Zambia, Zimbabwe, Zjednoczone Emiraty Arabskie, Łotwa, Święta Helena
Wykluczenia:
Barbados, Gujana Francuska, Gwadelupa, Libia, Martynika, Nowa Kaledonia, Polinezja Francuska, Reunion, Rosja, Ukraina, Wenezuela
Wysyłka i obsługa | Do | Usługa | Dostawa*Zobacz uwagi o dostawie |
---|---|---|---|
Bezpłatna wysyłka | Stany Zjednoczone | Economy Shipping | Szacowana między Wt, 7 maj a Pt, 10 maj do 43230 |
US $15,99 (około 64,57 zł) | Stany Zjednoczone | Expedited Shipping | Szacowana nie później niż Pn, 6 maj do 43230 |
Podatki |
---|
Sprzedawca nalicza podatek od sprzedaży w |
Podatek od sprzedaży dla przedmiotu nr 145616408750
Podatek od sprzedaży dla przedmiotu nr 145616408750
Sprzedawca nalicza podatek od sprzedaży dla przedmiotów wysyłanych do następujących stanów:
Stan | Stawka podatku od sprzedaży |
---|---|
Missouri (MO) | 8.238% |
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 sprzedawca |
Sprzedawca 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 (5 168 739)
o***t (468)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Cute book, in good condition
p***u (798)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Enjoying their selection of books and the prices!
3***3 (1751)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
smooth transaction