Jeffrey j joyce u a (1 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Altre immagini
Higher Order Logic Theorem Proving and Its Applications | 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
Jeffrey J. Joyce (u. a.)
Lingua: Inglese
Editore: Springer, 1994
3540578269 / 9783540578260
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 50,45
EUR 70,00 spedizione
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Higher Order Logic Theorem Proving and Its Applications | 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings | Jeffrey J. Joyce (u. a.) | Taschenbuch | x | Englisch | 1994 | Springer | EAN 9783540578260 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…