James Alves-Foss - Böcker

Visar alla böcker från författaren James Alves-Foss.

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

AvE. Thomas Schubert,Phillip J. Windley m. fl.

Häftad, Engelska, 1995

699 kr

Skickas inom 10-15 vardagar