Which theorem prover?
Subtitle: a survey of four theorem provers
By: A. Smith.
Contributors: Royal Signals and Radar Establishment (Great Britain)
Series: Memorandum ;; 4430; RSRE memorandun ;; no. 4430.
Publisher: HMSO
Published: 1990
Place of publication: London
Language: eng
Number of pages: 32
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references (p. 24).
At head of title: Royal Signals and Radar Establishment.