IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishMinimal negation and Hereditary Harrop formulae / A. Momigliano - In: Logical Foundations of Computer Science — Tver '92[s.l] : Springer, 1992. - ISBN 3-540-55707-5. - pp. 326-335
| Titolo: | Minimal negation and Hereditary Harrop formulae |
| Autori: | MOMIGLIANO, ALBERTO (Primo) |
| Settore Scientifico Disciplinare: | Settore INF/01 - Informatica Settore MAT/01 - Logica Matematica |
| Data di pubblicazione: | 1992 |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/BFb0023886 |
| Tipologia: | Book Part (author) |
| Appare nelle tipologie: | 03 - Contributo in volume |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2434/212932
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021