Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings 1st 版 著者: Ait Mohamed Otmane; Sofiene Tahar; César Muñoz 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Theorem Proving in Higher Order Logics : 9783540710677, 3540710671 および 印刷版のISBNは 9783540710653, 3540710655. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings 1st 版 著者: Ait Mohamed Otmane; Sofiene Tahar; César Muñoz 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Theorem Proving in Higher Order Logics : 9783540710677, 3540710671 および 印刷版のISBNは 9783540710653, 3540710655. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。