Explore Books on
theorem proving
1-7 of 7 Books
New double-byte error-correcting codes for memory systems
New double-byte error-correcting codes for memory systems
By Gui-Liang Feng
Design and application of strategies/tactics in higher order logics
Design and application of strategies/tactics in higher order logics
By Myla Archer,Ben Di Vito,César Muñoz
Generating test templates via automated theorem proving
Generating test templates via automated theorem proving
By Mani Prasad Kancherla
"Optimum" upwind advection on a triangular mesh
"Optimum" upwind advection on a triangular mesh
By P. L. Roe
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
By Conference on Automated Deduction (6th 1982 New York, N.Y.)
Interpreter composition issues in the formal verification of a processor-memory module
Interpreter composition issues in the formal verification of a processor-memory module
By David A. Fura