E. Thomas Schubert - Böcker

Visar alla böcker från författaren E. Thomas Schubert.

1 produkt

Kategorier

1 produkt

Higher Order Logic Theorem Proving and Its Applications

8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Av E. Thomas Schubert, Phillip J. Windley m. fl

Häftad, Engelska, 1995

709 kr

Skickas inom 10-15 vardagar