Set Theory for Computing From Decision Procedures to Logic Programming with Sets
尚無評分
2001
·
英語
·
平裝書