Techniques of deductice inference.
Publisher: Prentice-Hall
Published: 1966
Place of publication: London
Language: eng