1947265
9783528155742
David A. Plaisted is Professor in the Department of Computer Science at the University of North Carolina.Plaisted, David A. is the author of 'Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis', published 1999 under ISBN 9783528155742 and ISBN 3528155744.
[read more]