Elsa L. Gunter - Böcker
Visar alla böcker från författaren Elsa L. Gunter.
1 produkt
1 produkt
Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
Häftad, Engelska, 1997
709 kr
Skickas inom 10-15 vardagar