Theorem proving with abstraction, part II /

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

Theorem proving with abstraction, part I /

"UILU-ENG 79-1706."

Some new results on resolution in automated theorem proving,

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

A recursively defined ordering for proving termination of term rewriting systems /

NSF MCS 77-22830."

A resolution style proof procedure for higher-order logic /

Thesis--Illinois.

A note on simplification orderings /

"April 1979."

The worship of the serpent traced throughout the world, and its traditions referred to the events in Paradise : proving the temptation and fall of man by the instrumentality of a serpent tempter /

Mode of access: Internet.

Automatic safety belt usage in 1981 Toyotas. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Automatic safety belt systems: changes in owner usage over time in GM Chevettes and VW Rabbits. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Automatic audio signing - literature survey analysis. Interim report, phase 1, task A.

Federal Highway Administration, Washington, D.C.

Automatic sludge blanket control in an operating gravity thickener /

Mode of access: Internet.

Studies of automatic technology : a case study of a company manufacturing electronic equipment.

Cover title.

Review of automatic data processing developments in the Federal Government.

Mode of access: Internet.

Automatic detection of freeway incidents during low volume conditions. Interim report.

Texas State Department of Highways and Public Transportation, Transportation Planning Division, Austin

Ingress clearance requirements and seat positioning for automatic belt systems. Final report.

Mode of access: Internet.