First-order logic and automated theorem proving / Melvin Fitting
Edition Statement: 2nd ed.Publication: New York : Springer, 1996Description: XVI, 326 p. : il.ISBN: 0-387-94593-8.Series: Graduate Texts in Computer Science / David GriesSubject - Topical Name: Lógica matemática | Lógica formal | Prova automática de teoremas | Programação matemática| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Livro | Biblioteca do ISEL | FIT. 510.6 (Browse shelf) | Available | 1005602 |
Total holds: 0
Browsing Biblioteca do ISEL Shelves , Shelving location: Biblioteca do ISEL Close shelf browser
| FIS. 621.391 Fractal image encoding and analysis | FIS. 658.5 Workflow handbook 2003 | FIT. 004.55LMD Learning XSLT | FIT. 510.6 First-order logic and automated theorem proving | FIT. 621.313 Máquinas elétricas | FIT. 621.313 Electric machinery | FIT. 621.313 Electric machinery |
There are no comments for this item.