Equational logic as a programming language / Michael J. O'Donnell
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
O'Donnell, Michael J.
|
| Titolo: |
Equational logic as a programming language / Michael J. O'Donnell
|
| Pubblicazione: | Cambrdige (Mass.) ; London (England) : MIT Press, copyr. 1986 |
| Disciplina: | 005.131 |
| Soggetto non controllato: | linguaggi di programmazione |
| logica matematica | |
| logica simbolica | |
| Titolo autorizzato: | Equational logic as a programming language |
| ISBN: | 0-262-15028-X |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990000149620203316 |
| Lo trovi qui: | Univ. di Salerno |
| Collocazione: | 005.131 ODO |
| Opac: | Controlla la disponibilità qui |
| Biblioteca: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |