9780444508126 - handbook of automated reasoning: volume ii de robinson, a.; voronkov, a. (18 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (18)

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: North Holland 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 93,06

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 1 disponibles

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

  • Idioma: Inglés

    Editorial: North Holland 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Aceptable

    EUR 196,59

    Envío por EUR 3,30 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 1 disponibles

    hardcover. Condición: 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.

  • Idioma: Inglés

    Editorial: Elsevier Science & Technology 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: Better World Books Ltd, Dunfermline, Reino UnidoBetter World Books Ltd

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Bueno

    EUR 199,94

    Envío por EUR 5,80 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Condición: 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.

  • Idioma: Inglés

    Editorial: North Holland 2001-06-21 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: Chiron Media, Wallingford, Reino UnidoChiron Media

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 199,43

    Envío por EUR 17,98 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Hardcover. Condición: New.

  • Idioma: Inglés

    Editorial: North Holland 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 232,94

    Envío por EUR 2,32 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Elsevier 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 227,58

    Envío por EUR 7,54 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 3 disponibles

    Condición: 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.

  • Idioma: Inglés

    Editorial: North Holland 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 232,09

    Envío por EUR 17,41 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: North Holland 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 248,04

    Envío por EUR 13,91 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. In.

  • Idioma: Inglés

    Editorial: Elsevier 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 274,17

    Envío por EUR 3,51 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 3 disponibles

    Condición: New. pp. 1188.

  • Idioma: Inglés

    Editorial: Elsevier 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 267,67

    Envío por EUR 9,95 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 3 disponibles

    Condición: New. pp. 1188.

  • Idioma: Inglés

    Editorial: Elsevier Science 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: moluna, Greven, Alemaniamoluna

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 261,03

    Envío por EUR 48,99 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: 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.

  • Idioma: Inglés

    Editorial: North Holland 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 332,34

    Envío por EUR 17,41 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: As New. Unread book in perfect condition.

  • Idioma: Inglés

    Editorial: North Holland 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 322,79

    Envío por EUR 29,02 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Idioma: Inglés

    Editorial: North Holland 2001

    0444508120 / 9780444508126

    • Tapa dura

    Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 359,96

    Envío por EUR 2,32 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: As New. Unread book in perfect condition.

  • Idioma: Inglés

    Editorial: North-Holland 2001

    0444508120 / 9780444508126

    • Tapa dura
    • Impresión bajo demanda

    Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 232,72

    Envío por EUR 23,21 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 2 disponibles

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

  • Idioma: Inglés

    Editorial: Elsevier Science 2001

    0444508120 / 9780444508126

    • Tapa blanda
    • Impresión bajo demanda

    Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 245,00

    Envío por EUR 23,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Buch. Condición: 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…

  • Idioma: Inglés

    Editorial: Elsevier Science 2001

    0444508120 / 9780444508126

    • Tapa dura
    • Impresión bajo demanda

    Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 269,74

    Envío por EUR 71,59 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Buch. Condición: 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…

  • Editorial: North Holland

    0444508120 / 9780444508126

    • Impresión bajo demanda

    Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 215,39

    Envío por EUR 20,00 
    Se envía de Italia a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: new. Questo è un articolo print on demand.