Set Theory for Computing From Decision Procedures to Logic Programming with Sets
还没有评分
2001
·
英语
·
平装书