Workshop on Knowledge Exchange: Automated Provers and Proof Assistants (Q113672709)
Jump to navigation
Jump to search
academic workshop
- KEAPPA 2008
Language | Label | Description | Also known as |
---|---|---|---|
English | Workshop on Knowledge Exchange: Automated Provers and Proof Assistants |
academic workshop |
|
Statements
KEAPPA 2008 (English)
0 references
Knowledge Exchange: Automated Provers and Proof Assistants (English)
0 references