Image from Amazon.com
First-order logic & automated theorem proving M.Fitting
Material type:
TextSeries: Graduate texts in computer sciencePublication details: New York Springer 1996 Edition: 2Description: xvi 326ISBN: 9780387945934Subject(s): LogicDDC classification: 1.02+18
| Item type | Current library | Collection | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| Books | TIFR CAM Library | CML | 1.02+18 FITT (Browse shelf(Opens below)) | Available | M8587 |
Browsing TIFR CAM Library shelves, Collection: CML Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 1.01+28 ENGQ Mathematics unlimited-2001 & beyond | 1.02+1.03 CHEN Introduction to fuzzy sets, fuzzy logic, & fuzzy control systems | 1.02+1.03 DUMI Fuzzy sets & their application to clustering & training | 1.02+18 FITT First-order logic & automated theorem proving | 1.02 CHUR Introduction to mathematical logic | 1.02 EBBI Mathematical logic | 1.02 ENDE Mathematical introduction to logic |
There are no comments on this title.