A computational logic / Robert S. Boyer and J. Strother Moore
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Boyer, Robert S.
|
| Titolo: |
A computational logic / Robert S. Boyer and J. Strother Moore
|
| Pubblicazione: | New York : Academic Press, c1979 |
| Descrizione fisica: | xiv, 397 p. ; 24 cm. |
| Disciplina: | 001.5 |
| 519.4 | |
| Soggetto topico: | Automatic theorem proving |
| Logic programming | |
| Classificazione: | AMS 68N17 |
| Altri autori: |
Moore, J. Strother author
|
| Note generali: | Bibliography: p. 385-387. |
| Includes index | |
| ISBN: | 0121229505 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 991000774299707536 |
| Lo trovi qui: | Univ. del Salento |
| Opac: | Controlla la disponibilità qui |
Serie:
ACM monograph series