UNT Libraries Government Documents Department - 6 Matching Results

Search Results

Results: 1 - 6
Primary view of The Application of Automated Reasoning to Proof Translation and to Finding Proofs with Specified Properties: a Case Study in Many-Valued Sentential Calculus
Wos, Larry & McCune, William W.
August 1991
Primary view of COMMIX-PPC. a Three-Dimensional Transient Multicomponent Computer Program for Analyzing Performance of Power Plant Condensers
Chien, T. H.; Domanus, H. M. & Sha, William T.
August 1991
Primary view of NBS-INA -- The Institute for Numerical Analysis -- UCLA 1947-1954
Hestenes, Magnus Rudolph & Todd, John
August 1991
Primary view of Nuclear Technology Programs Semiannual Progress Report: April-September 1989
Steindler, M. J.; Battles, J. E. & Harmon, J. E.
August 1991
Primary view of Research in Mathematics and Computer Science at Argonne : September 1989 - February 1991
Pieper, Gail W.
August 1991
Primary view of Studying Parallel Program Behavior with Upshot
Herrarte, Virginia & Lusk, Ewing
August 1991
Back to Top of Screen