Hirschowitz andre ed (6 resultados)
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Tphols 9 (1998 Nice, France); Dowek, G. (EDT); Hirschowitz, A. (EDT); Paulin, C. (EDT); Thery, L. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Bertot, Yves (EDT); Bertot, Yves
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,62
Envío por EUR 2,26Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Tphols 9 (1998 Nice, France); Dowek, G. (EDT); Hirschowitz, A. (EDT); Paulin, C. (EDT); Thery, L. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Bertot, Yves (EDT); Bertot, Yves
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 58,62
Envío por EUR 2,26Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 62,56
Envío por EUR 3,21Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
paperback. 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.
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Tphols 9 (1998 Nice, France); Dowek, G. (EDT); Hirschowitz, A. (EDT); Paulin, C. (EDT); Thery, L. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Bertot, Yves (EDT); Bertot, Yves
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,49
Envío por EUR 17,52Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Tphols 9 (1998 Nice, France); Dowek, G. (EDT); Hirschowitz, A. (EDT); Paulin, C. (EDT); Thery, L. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Bertot, Yves (EDT); Bertot, Yves
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 65,16
Envío por EUR 17,52Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Aceptable
EUR 197,26
Envío por EUR 29,19Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
paperback. Condición: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
