Set Theory for Computing From Decision Procedures to Logic Programming with Sets
まだ評価がありません
2001
·
英語
·
ペーパーバック