Laurent Thery - Böcker

Visar alla böcker från författaren Laurent Thery.

1 produkt

Kategorier

1 produkt

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Av Yves Bertot, Gilles Dowek m. fl

Häftad, Engelska, 1999

699 kr

Skickas inom 10-15 vardagar