Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Paulson, Lawrence C.
|
| Titolo: |
Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson
|
| Pubblicazione: | Cambridge [etc.], : Cambridge university, 1987 |
| Descrizione fisica: | XIII, 302 p. ; 26 cm. |
| Soggetto topico: | 68Qxx - Theory of computing [MSC 2020] |
| 68Txx - Artificial intelligence [MSC 2020] | |
| 03Bxx - General logic [MSC 2020] | |
| Titolo autorizzato: | Logic and computation |
| ISBN: | 05-213-9560-7 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | SUN0063390 |
| Lo trovi qui: | Univ. Vanvitelli |
| Opac: | Controlla la disponibilità qui |
Serie:
Cambridge tracts in theoretical computer science ; 2 Cambridge . -Cambridge university.