Powrót do strony głównej
Sprzedawca zakończył tę ofertę sprzedaży w dniu So, 26 lip o 15:38, ponieważ przedmiot nie był już dostępny.
Handbook Of Automated Reasoning: Volume I and II
Zakończone
Handbook Of Automated Reasoning: Volume I and II
US $499,99US $499,99
So, 26 lip, 15:38So, 26 lip, 15:38
Sprzedaj taki przedmiot
Inne przedmioty sprzedawcy

Zdjęcie 1 z 4

Zdjęcie 1 z 4
Zdjęcie 2 z 4
Zdjęcie 3 z 4
Zdjęcie 4 z 4
ZAKOŃCZONE
Masz taki przedmiot na sprzedaż?
Sprzedaj sam

Handbook Of Automated Reasoning: Volume I and II

dardafdti
(1842)
Zarejestrowany jako prywatny sprzedawca
W związku z tym prawa konsumenckie wynikające z przepisów UE o ochronie konsumentów nie mają zastosowania. W przypadku większości zakupów nadal obowiązuje Ochrona kupujących eBay. Dowiedz się więcej
Inne przedmioty sprzedawcy
Skontaktuj się ze sprzedawcą
US $499,99
Około1 842,91 zł
Stan:
Dobry
“Library copy. Great condition except for stickers on spine and library card in inside cover.”
Sprzedaj taki przedmiot
Inne przedmioty sprzedawcy
    Wysyłka:
    US $8,22 (około 30,30 zł) USPS Media MailTM.
    Znajduje się w: Minneapolis, Minnesota, Stany Zjednoczone
    Dostawa:
    Szacowana między Cz, 7 sie a Wt, 12 sie
    Czas dostawy jest szacowany naszą metodą na podstawie odległości między kupującym a lokalizacją przedmiotu, wybranej usługi wysyłkowej, historii wysyłek sprzedawcy i innych czynników. Czasy dostawy mogą się różnić, szczególnie w okresach największego ruchu.
    Zwroty:
    Zwroty nie są przyjmowane.
    Płatności:
         Diners Club

    Kupuj bez obaw

    Gwarancja zwrotu pieniędzy eBay
    Otrzymasz przedmiot, jaki zamawiasz, albo zwrot pieniędzy. Dowiedz się więcejGwarancja zwrotu pieniędzy eBay – otwiera się w nowym oknie lub nowej karcie
    Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
    Nr przedmiotu eBay: 156918597771

    Parametry przedmiotu

    Stan
    Dobry
    Książka, która była czytana, ale nadal jest w dobrym stanie. Na okładce widoczne są nieznaczne ślady używania, np. zadrapania, ale książka nie jest rozerwana i nie ma dziur. Przy książkach w twardej oprawie mogą brakować obwoluty. Większość stron jest nieuszkodzona tzn., że ewentualne zagięcia lub rozdarcia są sporadyczne, podkreślenia ołówkiem są minimalne i nie ma żadnych zaznaczeń markerem czy notatek na marginesach. Książka ma wszystkie strony. Aby poznać więcej szczegółów i opis uszkodzeń lub wad, zobacz aukcję sprzedającego. Zobacz wszystkie definicje stanuotwiera się w nowym oknie lub nowej karcie
    Uwagi sprzedawcy
    “Library copy. Great condition except for stickers on spine and library card in inside cover.”
    Book Title
    Handbook Of Automated Reasoning: Volume I
    ISBN
    9780444829498

    O tym produkcie

    Product Identifiers

    Publisher
    Elsevier Science & Technology
    ISBN-10
    0444829490
    ISBN-13
    9780444829498
    eBay Product ID (ePID)
    2030325

    Product Key Features

    Number of Pages
    996 Pages
    Language
    English
    Publication Name
    Handbook of Automated Reasoning
    Subject
    Programming / General, Information Theory, Intelligence (Ai) & Semantics, Computer Science, Logic, Logic Design
    Publication Year
    2001
    Type
    Textbook
    Subject Area
    Mathematics, Computers
    Author
    Alan J. A. Robinson
    Series
    Handbook of Automated Reasoning Ser.
    Format
    Hardcover

    Dimensions

    Item Weight
    70.4 Oz
    Item Length
    9.4 in
    Item Width
    6.5 in

    Additional Product Features

    Intended Audience
    Scholarly & Professional
    LCCN
    2001-090839
    Dewey Edition
    21
    Series Volume Number
    Volume I
    Number of Volumes
    2 vols.
    Illustrated
    Yes
    Volume Number
    Volume I
    Dewey Decimal
    511.3
    Table Of Content
    Part I. History 1. The Early History of Automated Deduction (Martin Davis) Part II. Classical Logic. 2. Resolution Theorem Proving (Leo Bachmair, Harald Ganzinger) 3. Tableaux and Related Methods (Reiner Hähnle) 4. The Inverse Method (Anatoli Degtyarev, Andrei Voronkov) 5. Normal Form Transformations (Matthias Baaz, Uwe Egly, Alexander Leitsch) 6. Computing Small Clause Normal Forms (Andreas Nonnengart, Christoph Weidenbach) Part III. Equality and other theories. 7. Paramodulation-Based Theorem Proving (Robert Nieuwenhuis, Albert Rubio) 8. Unification Theory (Franz Baader, Wayne Snyder) 9. Rewriting (Nachum Dershowitz, David A. Plaisted) 10. Equality Reasoning in Sequent-Based Calculi (Anatoli Degtyarev, Andrei Voronkov) 11. Automated Reasoning in Geometry (Shang-Ching Chou, Xiao-Shan Gao) 12. Solving Numerical Constraints (Alexander Bockmayr, Volker Weispfenning) Part IV. Induction. 13. The Automation of Proof by Mathematical Induction (Alan Bundy) 14. Inductionless Induction (Hubert Comon)
    Synopsis
    This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
    LC Classification Number
    QA76.9.A96H35 2001

    Opis przedmiotu podany przez sprzedawcę

    O tym sprzedawcy

    dardafdti

    97,2% opinii pozytywnych•Sprzedane przedmioty: 3,4 tys.

    Dołączył: sty 2005
    Zwykle odpowiada w ciągu 24 godzin
    Zarejestrowany jako prywatny sprzedawcaW związku z tym prawa konsumenckie wynikające z przepisów EU o ochronie konsumentów nie obowiązują. W przypadku większości zakupów nadal obowiązuje Ochrona kupujących eBay. Dowiedz się więcejDowiedz się więcej
    Inne przedmioty sprzedawcySkontaktuj się

    Oceny szczegółowe

    Średnia z ostatnich 12 miesięcy
    Dokładność opisu
    4.9
    Przystępny koszt wysyłki
    4.8
    Szybkość wysyłki
    5.0
    Komunikacja
    5.0

    Opinie sprzedawcy (827)

    Wszystkie oceny
    Pozytywne
    Neutralne
    Negatywne
    Zobacz wszystkie opinie