by David A. Plaisted
No reviews yet. Be the first!
Efficiency of Theorem Proving Strategies
Theorem proving with abstraction, part I
Theorem proving with abstraction, part I...
Restricted oracles
An exponential lower bound for a restric...
Complete problems in the first-order pre...
Bible
1990 census of population and housing
Tax administration
Ender's Game
Advances in Imaging and Electron Physics
Management information systems