Adapting Proofs-as-Programs
Material type: TextPublication details: 2005ISBN:- 978-0-387-28183-4
Item type | Current library | Home library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
AIT-E-BOOK | Acharya Institute of Technology | Acharya Institute of Technology | Available | EB226 |
There are no comments on this title.