Symbolic logic and mechanical theorem proving
Material type: TextSeries: Computer Science ClassicsPublication details: USA ; AP ; 1973Description: 331ISBN: 0121703509Subject(s): Logic, Symbolic and Mathematical- Automatic Theorem Proving Artificial IntelligenceCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3 CHA (Browse shelf (Opens below)) | Available | 42855 |
There are no comments on this title.