Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings 1st 版 著者: Mark Aagaard; John Harrison 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Theorem Proving in Higher Order Logics : 9783540446590, 3540446591 および 印刷版のISBNは 9783540678632, 3540678638. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings 1st 版 著者: Mark Aagaard; John Harrison 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Theorem Proving in Higher Order Logics : 9783540446590, 3540446591 および 印刷版のISBNは 9783540678632, 3540678638. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
