Computer Science Logic 4th Workshop, CSL '90 Heidelberg, Germany, October 1-5, 1990 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld.
Material type: TextDescription: On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of PakistanISBN:- 9783540384014
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
e-Book | ICCBS Digital Library | Not for loan |