1 电子书 Mark Aagaard
Mark Aagaard & John Harrison: Theorem Proving in Higher Order Logics
This volume is the proceedings of the 13th International Conference on Theo- rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers su …
PDF
英语
DRM
€57.19
