关注微信公众号查券更方便
[预订]Tests and Proofs 9783031388279
【4周达】Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023,... [9783031388279]
![[预订]Tests and Proofs 9783031388279](/Public/skin2/static/tqkpc/images/grey.gif)