Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
The Efficiency of Theorem Proving Strategies
nidottu,
1999,
englanti,
ISBN 9783528155742
This is the second and slightly revised edition of this book. A few errors have been fixed, and some references to related work have been added. I thank the readers for their …