Robinson Voronkov (24 results)

Author: 
Refine with Advanced Search

Refine your search

  • Books (24)

Learn more

to

Custom price range (£)

to

  • Language: English

    Published by North Holland 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

    5-star seller
    Contact seller

    Condition: New

    £ 79.05

     Free Shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

  • Language: English

    Published by North Holland 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red

    5-star seller
    Contact seller

    Condition: Used - Good

    £ 171.55

    £ 2.83 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

  • Language: English

    Published by Elsevier Science & Technology 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd

    5-star seller
    Contact seller

    Condition: Used - Very good

    £ 172.12

    £ 5.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

  • Language: English

    Published by North Holland 2001-06-21 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: Chiron Media, Wallingford, , United KingdomChiron Media

    5-star seller
    Contact seller

    Condition: New

    £ 166.82

    £ 15.49 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Hardcover. Condition: New.

  • Language: English

    Published by Mit Pr 2001

    026218222X / 9780262182225

    • Hardcover

    Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited

    5-star seller
    Contact seller

    Condition: Used - Good

    £ 174.71

    £ 10.64 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

  • Language: English

    Published by Elsevier 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: Majestic Books, Hounslow, , United KingdomMajestic Books

    4-star seller
    Contact seller

    Condition: New

    £ 195.40

    £ 6.50 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 3 available

    Condition: New. pp. 1188 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam.

  • Language: English

    Published by North Holland 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: New

    £ 200.06

    £ 2.00 shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: New.

  • Language: English

    Published by North Holland 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

    5-star seller
    Contact seller

    Condition: New

    £ 195.58

    £ 15.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New.

  • Language: English

    Published by North Holland 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    £ 207.48

    £ 11.98 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In.

  • Language: English

    Published by Elsevier 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

    4-star seller
    Contact seller

    Condition: New

    £ 235.40

    £ 3.02 shipping 
    Ships within U.S.A.

    Quantity: 3 available

    Condition: New. pp. 1188.

  • Language: English

    Published by Elsevier 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

    4-star seller
    Contact seller

    Condition: New

    £ 239.08

    £ 8.63 shipping 
    Ships from Germany to U.S.A.

    Quantity: 3 available

    Condition: New. pp. 1188.

  • Language: English

    Published by Elsevier Science 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: moluna, Greven, , Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 233.15

    £ 42.48 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Condition: New. Part V. Higher-order logic and logical frameworks.Chapter 15. Classical Type Theory (Peter B. Andrews).1. Introduction to type theory. 2. Metatheoretical foundations. 3. Proof search. 4. Conclusion. Bi.

  • Language: English

    Published by ELSEVIER SCIENCE & TECHNOLOGY 2001

    0444829490 / 9780444829498

    • Hardcover

    Seller: Buchpark, Trebbin, , GermanyBuchpark

    5-star seller
    Contact seller

    Condition: Used - Fine

    £ 193.59

    £ 91.06 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Condition: Sehr gut. Zustand: Sehr gut | Seiten: 996 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

  • Language: English

    Published by North Holland 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

    5-star seller
    Contact seller

    Condition: Used - As new

    £ 277.99

    £ 15.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by North Holland 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: Mispah books, Redhill, SURRE, United KingdomMispah books

    4-star seller
    Contact seller

    Condition: Used - As new

    £ 270.00

    £ 25.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Language: English

    Published by North Holland 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: Used - As new

    £ 309.38

    £ 2.00 shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by ELSEVIER SCIENCE & TECHNOLOGY 2001

    0444829490 / 9780444829498

    • Hardcover

    Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer

    5-star seller
    Contact seller

    Condition: Used - Very good

    £ 580.50

    £ 34.64 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Hardcover. Condition: gut. 2001. Handbook of Automated Reasoning In deutscher Sprache. pages.

  • Language: English

    Published by North Holland 2001

    0444829490 / 9780444829498

    • Hardcover

    Seller: GoldBooks, Denver, CO, U.S.A.GoldBooks

    5-star seller
    Contact seller

    Condition: New

    £ 777.05

    £ 4.16 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Hardcover. Condition: new. New Copy. Customer Service Guaranteed.

  • Language: English

    Published by North Holland 2001

    0444508139 / 9780444508133

    • Hardcover

    Seller: Mispah books, Redhill, SURRE, United KingdomMispah books

    4-star seller
    Contact seller

    Condition: Used - As new

    £ 757.00

    £ 25.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Language: English

    Published by North-Holland 2001

    0444508120 / 9780444508126

    • Hardcover
    • Print on Demand

    Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books

    5-star seller
    Contact seller

    Condition: New

    £ 194.66

    £ 20.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 2 available

    Hardcover. Condition: Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. This item is printed on demand.

  • Language: English

    Published by Elsevier Science 2001

    0444508120 / 9780444508126

    • Softcover
    • Print on Demand

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.

    5-star seller
    Contact seller

    Condition: New

    £ 218.84

    £ 19.95 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This second volume of 'Handbook of Automated Reasoning' covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclass…

  • Language: English

    Published by Elsevier Science 2001

    0444829490 / 9780444829498

    • Hardcover
    • Print on Demand

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.

    5-star seller
    Contact seller

    Condition: New

    £ 236.97

    £ 19.95 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Englisch.

  • Language: English

    Published by Elsevier Science 2001

    0444508120 / 9780444508126

    • Hardcover
    • Print on Demand

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    £ 240.93

    £ 62.08 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This second volume of 'Handbook of Automated Reasoning' covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical…

  • Language: English

    Published by Elsevier Science 2001

    0444829490 / 9780444829498

    • Hardcover
    • Print on Demand

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    £ 244.68

    £ 60.57 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.