1 Ebooks bởi Joe Hurd
Joe Hurd & Tom Melham: Theorem Proving in Higher Order Logics
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005in Oxford, UK.TPHOLscoversall …
PDF
Anh
DRM
€57.19
