Isbn: 9780444508126 - handbook of automated reasoning: volume ii (15 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (15)

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,00

     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: 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 87,00

    Envío por EUR 5,83 
    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

    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 108,68

    Envío por EUR 3,27 
    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: North Holland, 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 200,43

    Envío por EUR 20,40 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    hardcover. Condición: New. Brand new book, sourced directly from publisher. Dispatch time is 9-10 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

  • 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 246,89

    Envío por EUR 2,30 
    Se envía dentro de 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: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 232,17

    Envío por EUR 17,50 
    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 249,28

    Envío por EUR 22,19 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. In English.

  • 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,78

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

    Cantidad disponible: Más de 20 disponibles

    Gebunden. 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 334,00

    Envío por EUR 17,50 
    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 324,40

    Envío por EUR 29,16 
    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 361,79

    Envío por EUR 2,30 
    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 233,88

    Envío por EUR 23,33 
    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 nonclassical logics. Englisch.…

  • Idioma: Inglés

    Editorial: Elsevier BV, 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 342,23

    Envío por EUR 44,98 
    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 logics.…

  • 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.