1 电子书 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
英语
DRM
€57.19
