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.
2022
Deduction, Logic, Automated theorem proving, Reasoning, SMT solving
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/1053241
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact