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

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings 1st الإصدار تمت الكتابة بواسطة David Basin; ‎Burkhart Wolff وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Theorem Proving in Higher Order Logics هي 9783540451303, 3540451307 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540406648, 3540406646. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.