Theorem Proving in Higher Order Logics: 21st International Conference, Tphols 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)
Springer
₹ 4,783.00
₹ 7,628.91
✻