3rd Workshop on Bridging the Gap between Human and Automated Reasoning (Q113623379)
Jump to navigation
Jump to search
academic workshop
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 3rd Workshop on Bridging the Gap between Human and Automated Reasoning |
academic workshop |
Statements
Bridging 2017 (English)
0 references
3rd Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? (English)
0 references