FITTING, Melvin
First-order logic and automated theorem proving / Melvin Fitting2nd ed.New York : Springer, 1996XVI, 326 p. : il.(Graduate Texts in Computer Science / David Gries).
Exemplares
First-order logic and automated theorem proving / Melvin Fitting2nd ed.New York : Springer, 1996XVI, 326 p. : il.(Graduate Texts in Computer Science / David Gries).
0-387-94593-8
510.6
Exemplares
Tipo de Documento | Biblioteca Localização | Cota | Nº de Registo | Código de Barras | Numeração (volume ou outra parte) | Notas Públicas | Data de Empréstimo | Data de Devolução | Estatuto de Item Retirado |
---|---|---|---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL Biblioteca do ISEL | FIT. 510.6 | 13545 | 1005602 |