Christine Paulin - Böcker

Visar alla böcker från författaren Christine Paulin.
1 produkt
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery - Theorem Proving in Higher Order Logics, Häftad
Del 1690 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

Av Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

Häftad, Engelska, 1999

719 kr

Skickas inom 7-10 vardagar