Automated Deduction (Q1086)
Revision as of 20:09, 25 September 2020 by Loz.ross (talk | contribs) (Created claim: publisher (P10): Auerbach Publishers Inc. (Q2537), adding publisher to items)
A work by Ian Norris
Language | Label | Description | Also known as |
---|---|---|---|
English |
Automated Deduction
|
A work by Ian Norris
|
Statements
25 September 2020
0 references