Interactive Theorem Proving 1st الإصدار

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings 1st الإصدار تمت الكتابة بواسطة Marko Van Eekelen; ‎Herman Geuvers; ‎Julien Schmaltz وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Interactive Theorem Proving هي 9783642228636, 3642228631 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642228629, 3642228623. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings 1st الإصدار تمت الكتابة بواسطة Marko Van Eekelen; ‎Herman Geuvers; ‎Julien Schmaltz وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Interactive Theorem Proving هي 9783642228636, 3642228631 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642228629, 3642228623. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.