E. Thomas Schubert - Böcker

Visar alla böcker från författaren E. Thomas Schubert.
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

709 kr

Skickas inom 10-15 vardagar