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áticaItem 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
There are no comments for this item.