Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings 1st الإصدار تمت الكتابة بواسطة Richard J. Boulton; Paul B. Jackson وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Theorem Proving in Higher Order Logics هي 9783540447559, 3540447555 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540425250, 354042525X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings 1st الإصدار تمت الكتابة بواسطة Richard J. Boulton; Paul B. Jackson وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Theorem Proving in Higher Order Logics هي 9783540447559, 3540447555 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540425250, 354042525X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.