@article{1183742802,
author = {Farmer, William M.},
title = {Review: Larry Wos, Automated Reasoning: 33 Basic Research Problems},
journal = {J. Symbolic Logic},
volume = {53},
number = {1},
year = {1988},
pages = { 1258-1259},
language = {en},
url = {http://dml.mathdoc.fr/item/1183742802}
}
Farmer, William M. Review: Larry Wos, Automated Reasoning: 33 Basic Research Problems. J. Symbolic Logic, Tome 53 (1988) no. 1, pp. 1258-1259. http://gdmltest.u-ga.fr/item/1183742802/