Current Data About
automated reasoning
other details
| aliases |
reasoning |
| description | subfield of computer science and logic |
External Links
| (P646) |
/m/0891w9
|
| (P3123) |
reasoning-automated
|
| (P3417) |
Automated-Reasoning
|
| (P6366) |
195344581
|
| (P9100) |
automated-reasoning
|
| (P9545) |
248978
|
| (P10283) |
C195344581
|