This report contains the program and outcomes of the Dagstuhl Seminar 21371 on Integrated Deduction that was held at Schloss Dagstuhl, Leibniz Center for Informatics, during September 12--17, 2017.
Integrated Deduction - Report from Dagstuhl Seminar 21371
Maria Paola Bonacina;
2022-01-01
Abstract
This report contains the program and outcomes of the Dagstuhl Seminar 21371 on Integrated Deduction that was held at Schloss Dagstuhl, Leibniz Center for Informatics, during September 12--17, 2017.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
dagrep_v011_i008_p035_21371.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
Versione dell'editore
Licenza:
Creative commons
Dimensione
3.01 MB
Formato
Adobe PDF
|
3.01 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.