In this brief note, we outline Mario Ornaghi's contributions to the field of computational logic to celebrate his 70th birthday.
From Constructivism to Logic Programming: an Homage to Mario Ornaghi / M. Ferrari, C. Fiorentini, A. Momigliano. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 161:1-2(2018 Jul), pp. 1-7. [10.3233/FI-2018-1692]
From Constructivism to Logic Programming: an Homage to Mario Ornaghi
C. Fiorentini;A. Momigliano
2018
Abstract
In this brief note, we outline Mario Ornaghi's contributions to the field of computational logic to celebrate his 70th birthday.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
2018_fi_Mario.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
139.15 kB
Formato
Adobe PDF
|
139.15 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.