Vai al contenuto principale della pagina
Titolo: |
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
![]() |
Pubblicazione: | Oxford, : Clarendon, 1992- |
Descrizione fisica: | v. ; 24 cm. |
Disciplina: | 004 |
Soggetto topico: | Informatica |
Logica simbolica | |
Logica matematica | |
Persona (resp. second.): | Abramsky, Samson <1953- > |
Gabbay, Dov M. | |
Maibaum, Thomas S. E. <1947- > | |
Titolo autorizzato: | Handbook of logic in computer science ![]() |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | MIL0138942 |
Lo trovi qui: | Univ. del Sannio |
Collocazione: | SALA DING 004 HANOLI |
Opac: | Controlla la disponibilità qui |