Fourth Workshop on Bridging the Gap between Human and Automated Reasoning (Q113583445)
Jump to navigation
Jump to search
academic workshop
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fourth Workshop on Bridging the Gap between Human and Automated Reasoning |
academic workshop |
Statements
Bridging 2018 (English)
0 references
Fourth Workshop on Bridging the Gap between Human and Automated Reasoning (English)
0 references