English Unordered Engineering Applications of Artificial Intelligence J. Vain 1988 December View book