Preface of the special issue of the Journal of Automated Reasoning in memory of Larry Wos
Six Decades of Automated Reasoning: Papers in Memory of Larry Wos (Preface)
Maria Paola Bonacina
2022-01-01
Abstract
Preface of the special issue of the Journal of Automated Reasoning in memory of Larry WosFile in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
SILWforeword-JARversion.pdf
accesso aperto
Descrizione: Preface Special Issue of JAR in Memory of Larry Wos
Tipologia:
Versione dell'editore
Licenza:
Creative commons
Dimensione
150.9 kB
Formato
Adobe PDF
|
150.9 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.