Set Theory for Computing From Decision Procedures to Logic Programming with Sets
아직 평점이 없습니다
2001
·
영어
·
페이퍼백