Felty amy edt (12 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Altre immagini
Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings
Beringer, Lennart (EDT); Felty, Amy (EDT)
Lingua: Inglese
Editore: Springer, 2012
3642323464 / 9783642323461
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 53,75
EUR 2,29 spedizione
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Condizione: New.
Automated Deduction : 25th International Conference on Automated Deduction Cade-25 Berlin, Germany August 1-7 2015, Proceedings
Felty, Amy P. (EDT); Middeldorp, Aart (EDT)
Lingua: Inglese
Editore: Springer, 2015
3319214004 / 9783319214009
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 58,49
EUR 2,29 spedizione
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Condizione: New.
Altre immagini
Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs '97, Murray Hill, Nj, USA, August 19-22, 1997 : Proceedings
Gunter, Elsa L. (EDT); Felty, Amy (EDT)
Lingua: Inglese
Editore: Springer, 1997
3540633790 / 9783540633792
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 58,82
EUR 2,29 spedizione
Spedito in U.S.A.
Quantità: 15 disponibili
Condizione: New.
Altre immagini
Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings
Beringer, Lennart (EDT); Felty, Amy (EDT)
Lingua: Inglese
Editore: Springer, 2012
3642323464 / 9783642323461
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Contatta il venditore
Condizione: Usato - Come nuovo
EUR 60,64
EUR 2,29 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 : 10th International Conference, TPHOLs '97, Murray Hill, Nj, USA, August 19-22, 1997 : Proceedings
Gunter, Elsa L. (EDT); Felty, Amy (EDT)
Lingua: Inglese
Editore: Springer, 1997
3540633790 / 9783540633792
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Contatta il venditore
Condizione: Usato - Come nuovo
EUR 63,62
EUR 2,29 spedizione
Spedito in U.S.A.
Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
Altre immagini
Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings
Beringer, Lennart (EDT); Felty, Amy (EDT)
Lingua: Inglese
Editore: Springer, 2012
3642323464 / 9783642323461
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 60,57
EUR 17,50 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Condizione: New.
Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs '97, Murray Hill, Nj, USA, August 19-22, 1997 : Proceedings
Gunter, Elsa L. (EDT); Felty, Amy (EDT)
Lingua: Inglese
Editore: Springer, 1997
3540633790 / 9783540633792
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 61,04
EUR 17,50 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Condizione: New.
Automated Deduction : 25th International Conference on Automated Deduction Cade-25 Berlin, Germany August 1-7 2015, Proceedings
Felty, Amy P. (EDT); Middeldorp, Aart (EDT)
Lingua: Inglese
Editore: Springer, 2015
3319214004 / 9783319214009
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 60,76
EUR 17,50 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Condizione: New.
Altre immagini
Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs '97, Murray Hill, Nj, USA, August 19-22, 1997 : Proceedings
Gunter, Elsa L. (EDT); Felty, Amy (EDT)
Lingua: Inglese
Editore: Springer, 1997
3540633790 / 9783540633792
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Venditore con 5 stelle
Contatta il venditore
Condizione: Usato - Come nuovo
EUR 67,20
EUR 17,50 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Altre immagini
Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings
Beringer, Lennart (EDT); Felty, Amy (EDT)
Lingua: Inglese
Editore: Springer, 2012
3642323464 / 9783642323461
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Venditore con 5 stelle
Contatta il venditore
Condizione: Usato - Come nuovo
EUR 67,20
EUR 17,50 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Altre immagini
Automated Deduction : 25th International Conference on Automated Deduction Cade-25 Berlin, Germany August 1-7 2015, Proceedings
Felty, Amy P. (EDT); Middeldorp, Aart (EDT)
Lingua: Inglese
Editore: Springer, 2015
3319214004 / 9783319214009
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Venditore con 5 stelle
Contatta il venditore
Condizione: Usato - Come nuovo
EUR 127,39
EUR 17,50 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Altre immagini
Automated Deduction : 25th International Conference on Automated Deduction Cade-25 Berlin, Germany August 1-7 2015, Proceedings
Felty, Amy P. (EDT); Middeldorp, Aart (EDT)
Lingua: Inglese
Editore: Springer, 2015
3319214004 / 9783319214009
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Contatta il venditore
Condizione: Usato - Come nuovo
EUR 149,72
EUR 2,29 spedizione
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.