Theorem Proving in Higher Order Logics

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. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Theorem Proving in Higher Order Logics هي 9783540446590, 3540446591 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540678632, 3540678638. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Theorem Proving in Higher Order Logics هي 9783540446590, 3540446591 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540678632, 3540678638. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.