James Alves-Foss - Böcker

Visar alla böcker från författaren James Alves-Foss.
1 produkt
E. Thomas Schubert, Phillip J. Windley, James Alves-Foss - Higher Order Logic Theorem Proving and Its Applications, Häftad
Del 971 - Lecture Notes in Computer Science

Higher Order Logic Theorem Proving and Its Applications

Av E. Thomas Schubert, Phillip J. Windley, James Alves-Foss

Häftad, Engelska, 1995

719 kr

Skickas inom 7-10 vardagar