Implementing an Efficient Theorem Prover

Shelfclass_id	4.B.3
Sortkey	RIAZANOV, ALEXANDRE
Authors	Alexandre Riazanov
Title	Implementing an Efficient Theorem Prover
Publisher	University of Manchester
Year	2003
Languages	eng
Record date	20081003
Location	Manchester