关注微信公众号查券更方便
按需印刷Predicate Answer Set Programming with Coinduction[9783843365826]
【4周达】Predicate Answer Set Programming with Coinduction [9783843365826]