Deduction systems [Book] / Rolf Socher-Ambrosius, Patricia Johann.
Material type: TextSeries: Publication details: New York : Springer, c1997.Description: xii, 206 p. : ill. ; 25 cmISBN:- 0387948473 (acid-free paper)
- 511.3028551 20
- 511.3028551
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Junaid Zaidi Library, COMSATS University Islamabad Ground Floor | 511.3028551 SOC-D (Browse shelf(Opens below)) | Available | 18821 |
Total holds: 0
Browsing Junaid Zaidi Library, COMSATS University Islamabad shelves, Shelving location: Ground Floor Close shelf browser (Hides shelf browser)
511.3 VEL-H How to prove it a structured approach / | 511.3 WOL-C Cellular automata and complexity collected papers / | 511.3 YEN-F Fuzzy logic intelligence, control, and information / | 511.3028551 SOC-D Deduction systems | 511.313 ALL-F 62069 Fuzzy fractional differential operators and equations fuzzy fractional differential equations / | 511.32 BEL-B Boolean-valued models and independence proofs in set theory | 511.32 KLI-F Fuzzy sets, uncertainty, and information / |
All.
There are no comments on this title.