Jeffrey J. Joyce - Böcker

Visar alla böcker från författaren Jeffrey J. Joyce.
1 produkt
Jeffrey J. Joyce, Carl-Johan H. Seger - Higher Order Logic Theorem Proving and Its Applications, Häftad
Del 780 - Lecture Notes in Computer Science

Higher Order Logic Theorem Proving and Its Applications

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

Häftad, Engelska, 1994

739 kr

Skickas inom 10-15 vardagar