The LPAR 2008 Workshops: KEAPPA and IWIL 2008: Knowledge Exchange: Automated Provers and Proof Assistants The 7th International Workshop on the Implementation of Logics (Q113545722)
Jump to navigation
Jump to search
Proceedings of KEAPPA workshop
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The LPAR 2008 Workshops: KEAPPA and IWIL 2008: Knowledge Exchange: Automated Provers and Proof Assistants The 7th International Workshop on the Implementation of Logics |
Proceedings of KEAPPA workshop |
Statements
KEAPPA (English)
0 references
The LPAR 2008 Workshops: KEAPPA and IWIL 2008: Knowledge Exchange: Automated Provers and Proof Assistants The 7th International Workshop on the Implementation of Logics (English)
0 references
17 November 2008
0 references