1 Ebooks tarafından 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
İngilizce
DRM
€57.19
