Jeffrey J. Joyce – författare
Visar alla böcker från författaren Jeffrey J. Joyce.
1 produkt
1 produkt
Higher Order Logic Theorem Proving and Its Applications
6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
Häftad, Engelska, 1994
719 kr
Skickas inom 10-15 vardagar