Sperner's theorem on maximal-sized antichains and its generation /

Includes bibliographical references.

Theorem proving with abstraction, part II /

Supported in part by the National Science Foundation under grant MCS 77-22830.

Some new results on resolution in automated theorem proving,

Issued also as thesis (M.S.) University of Illinois.

An approximate stress energy tensor for gravitational fields /

"This work was supported in part by the National Science Foundation under grant G9503."

Theorem proving with abstraction, part I /

"UILU-ENG 79-1706."

Approximate determination of the frequencies of ring stiffened cylindrical shells.

"AFSWP no. 874. Office of Naval Research. Contract no. Nonr 266 (08) Technical report no. 14. CU-14-55-ONR-266 (08)-CE."

Soil and water conservation districts : Status of organization, by States, approximate acreage and farms in organized districts, as of July 1, 1968.

Cover title.

Location of Virginia industries. A series of pictorial maps showing the approximate location of the various types of manufacturing, mining, and transportation equipment establishments in Virginia as of 1947.

Based on the 1947 Directory of Industrial Eestablishments prepared by the Virginia State Chamber of Commerce, and intended as an aid in the use of the annual directory. Transparent overlay map, in pocket.

Approximate solutions for nonequilibrium airflow in hypersonic nozzles,

Contract no. AF40(600)-804. AEDC TN-60-181. Arnold Engineering Development Center, Arnold Air Force Station, Tennessee. Air Research and Development Command, United States Air Force."

Binomial theorem and logarithms. For the use of the midshipmen at the naval school, Philadelphia.

Preface signed: William Chauvenet.

Portraits + personalities : a self-guided tour for children and their families in the west building of the National Gallery of Art : suggested for ages 8 to 10 : approximate-- 45 minutes.

Mode of access: Internet.

Organizational, direct and general support, maintenance repair parts and special tools list : container, service, ward, rigid construction, approximate expanded dimension, 10 ft, 10 3/4 inches long, 12 ft wide, 7 ft, 3 inches high, FSN 5410-809-6634.

Includes index.

The approximate numerical solution of boundary value problems by relaxation methods,

"Contract N7 onr-358, T. O. I., NR-041-032."

Exact and approximate Bayesian solutions for inference about variance components and multivariate inadmissibility : final report for period 1 May 1972-1 January 1976 /

Performing organization: Dept. of Statistics, University of Michigan.

Scheme for the examination of urine for clinical indications. Approximate determinations.

Mode of access: Internet.