https://www.dagstuhl.de/9512
March 20 – 24 , 1995, Dagstuhl Seminar 9512
Deduction
Organizer
W. Bibel, K. Furukawa, M. Stickel
For support, please contact
Documents
Dagstuhl Seminar Series
- 21371: "Integrated Deduction" (2021)
- 19371: "Deduction Beyond Satisfiability" (2019)
- 17371: "Deduction Beyond First-Order Logic" (2017)
- 15381: "Information from Deduction: Models and Proofs" (2015)
- 13411: "Deduction and Arithmetic" (2013)
- 09411: "Interaction versus Automation: The two Faces of Deduction" (2009)
- 07401: "Deduction and Decision Procedures" (2007)
- 05431: "Deduction and Applications" (2005)
- 03171: "Deduction and Infinite-state Model Checking" (2003)
- 01101: "Deduction" (2001)
- 99091: "Deduction" (1999)
- 9709: "Deduction" (1997)
- 9310: "Deduction" (1993)