Tphols (16 risultati)

Brossura

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

Venditore con 5 stelle

Tphols 200 (2003 Rome, Italy); Wolff, Burkhart (EDT)

Condizione: Nuovo

EUR 58,13

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Theorem Proving in Higher Order Logics : 16th International Conference, Tphols 2003, Rome, Italy, September 8-12, 2003 : Proceedings

Lingua: Inglese

Editore: Springer, 2003

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 58,13

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings

Lingua: Inglese

Editore: Springer, 1999

Brossura

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

Venditore con 5 stelle

Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)

Condizione: Nuovo

EUR 58,16

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings

Lingua: Inglese

Editore: Springer, 2002

Brossura

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

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 59,17

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings

Lingua: Inglese

Editore: Springer, 1999

Brossura

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

Venditore con 5 stelle

Tphols 200 (2000 Portland, Or.); Aagaard, Mark; Harrison, J.

Condizione: Usato - Come nuovo

EUR 59,17

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, Usa, August 14-18, 2000 : Proceedings

Lingua: Inglese

Editore: Springer, 2000

Brossura

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

Venditore con 5 stelle

Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)

Condizione: Usato - Come nuovo

EUR 59,63

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings

Lingua: Inglese

Editore: Springer, 2002

Brossura

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

Venditore con 5 stelle

Tphols 200 (2003 Rome, Italy); Wolff, Burkhart (EDT)

Condizione: Nuovo

EUR 75,06

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Theorem Proving in Higher Order Logics : 16th International Conference, Tphols 2003, Rome, Italy, September 8-12, 2003 : Proceedings

Lingua: Inglese

Editore: Springer, 2003

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 60,62

EUR 17,56 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Tphols 200 (2000 Portland, Or.); Aagaard, Mark; Harrison, J.

Condizione: Nuovo

EUR 60,63

EUR 17,56 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, Usa, August 14-18, 2000 : Proceedings

Lingua: Inglese

Editore: Springer, 2000

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)

Condizione: Nuovo

EUR 61,23

EUR 17,56 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings

Lingua: Inglese

Editore: Springer, 2002

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 61,23

EUR 17,56 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)

Condizione: Usato - Come nuovo

EUR 65,97

EUR 17,56 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings

Lingua: Inglese

Editore: Springer, 2002

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Tphols 200 (2000 Portland, Or.); Aagaard, Mark; Harrison, J.

Condizione: Usato - Come nuovo

EUR 66,31

EUR 17,56 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, Usa, August 14-18, 2000 : Proceedings

Lingua: Inglese

Editore: Springer, 2000

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Tphols 200 (2003 Rome, Italy); Wolff, Burkhart (EDT)

Condizione: Usato - Come nuovo

EUR 67,12

EUR 17,56 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Theorem Proving in Higher Order Logics : 16th International Conference, Tphols 2003, Rome, Italy, September 8-12, 2003 : Proceedings

Lingua: Inglese

Editore: Springer, 2003

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Tphols 200 (2003 Rome, Italy); Wolff, Burkhart (EDT)

Condizione: Usato - Come nuovo

EUR 128,98

EUR 17,56 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Theorem Proving in Higher Order Logics : 16th International Conference, Tphols 2003, Rome, Italy, September 8-12, 2003 : Proceedings

Lingua: Inglese

Editore: Springer, 2003

Brossura

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

Venditore con 5 stelle