Laurent Thery – författare
Visar alla böcker från författaren Laurent Thery. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Häftad, Engelska, 1999
699 kr
Skickas inom 10-15 vardagar