Set Theory for Computing From Decision Procedures to Logic Programming with Sets
No ratings yet
2001
·
English
·
Paperback