Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings 1st 版 著者: David Basin; ‎Burkhart Wolff 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Theorem Proving in Higher Order Logics : 9783540451303, 3540451307 および 印刷版のISBNは 9783540406648, 3540406646. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings 1st 版 著者: David Basin; ‎Burkhart Wolff 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Theorem Proving in Higher Order Logics : 9783540451303, 3540451307 および 印刷版のISBNは 9783540406648, 3540406646. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。