Jeffrey J Joyce U A (1 results)

Author:

Refine with Advanced Search

More images
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.)
Language: English
Published by Springer, 1994
3540578269 / 9783540578260
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
5-star seller
Contact seller
Condition: New
£ 44.37
£ 60.00 shipping
Ships from Germany to U.S.A.
Quantity: 5 available
Taschenbuch. Condition: 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 Print on Demand.…