Interactive Theorem Proving Second International Conference Itp 2011 Berg En | Desertcart OMAN
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)
معرّف المنتج: 193284279
معاملة آمنة
يُشترى معًا بشكل متكرر
الوصف
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)