Errata to ``75 problems for testing automatic theorem provers''
Errata concerned with ibid. 2, 191-216 (1986; see the preceding review).
scientific article; zbMATH DE number 4047176
scientific article