Jeffrey J. Joyce - Böcker

Visar alla böcker från författaren Jeffrey J. Joyce.

1 produkt

Kategorier

1 produkt

Higher Order Logic Theorem Proving and Its Applications

6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings

Av Jeffrey J. Joyce, Carl-Johan H. Seger

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar