De Colloquio Wormatiensi ad A.O.R. MDXXXX inter protestantium et pontificiorum theologos coepto quidem sed non consummato plena et succincta disquisitio ex Mcs. Ebneriano facta et elaborata per Io. Paullum Roederum ...

Mode of access: Internet.

Sensitivity analysis for heuristic algorithms /

"UILU-ENG 78 1731."

Restricted oracles /

"October 1979,"--Cover, p.1.

Theorem proving with abstraction, part II /

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

The methodology of knowledge layers for inducing descriptions of sequentially ordered events /

"UILU-ENG 80 1719"--Cover.

A characterization of globally consistent databases and their correct access paths /

"Supported in part by NSF grant MCS-80-03308."

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

NSF MCS 77-22830."

A systematic approach to the design of structures for arithmetic /

"NSF-MCS-80-00058"--Cover.

Orderings for term-rewriting systems /

"Research supported in part under NSF grant MCS 77-22830."

The evolution of programs : program abstraction and instantiation /

"NSF-MCS-79-04897."

PATHOS: a path pascal operating system /

Supported in part by NASA Project NSG 1471 and NSF MCS 77-09128."

Dental health in children with phenylketonuria PKU and other inborn errors of amino acid metabolism managed by diet /

"Supported in part by Maternal and Child Health, Grant No. MCS-000252-16 and by contributions to Friends of Metabolic Research."