Automated Deduction (Q1086)
Revision as of 14:36, 24 September 2020 by Loz.ross (talk | contribs) (Created claim: description (P65): Description page for: Automated Deduction (Q1243), adding description pages to work items)
A work by Ian Norris
Language | Label | Description | Also known as |
---|---|---|---|
English |
Automated Deduction
|
A work by Ian Norris
|