First-order logic and automated theorem proving
Material type: TextSeries: Graduate texts in computer science seriesPublication details: New York: Springer, 1996Edition: 2nd edDescription: xvi, 326 pISBN: 9781461275152Subject(s): Computation | Languages | Automata theoryDDC classification: 005.131 FITItem type | Current library | Collection | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Engineering Books | Presidency University Library | Non-Fiction | Computer Science Engineering | 005.131 FIT (Browse shelf(Opens below)) | Available | 34602 |
There are no comments on this title.