Automated theorem proving after 25 years
Material type: TextSeries: Contemporary mathematics ; 00029Publication details: Providence, R.I ; American Mathematical Society ; 1984Description: ix, 360ISBN: 082185027XSubject(s): Automatic theorem proving CongressesCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 51 CM (Browse shelf (Opens below)) | Available | 53368 |
There are no comments on this title.