TY  - BOOK
AU  - Kant,Elaine
TI  - Efficiency in program synthesis
SN  - 083571215X (hbk.)
PY  - 1981///
CY  - Ann Arbor, Mich.
PB  - UMI Research Press
KW  - Electronic digital computers
KW  - Programming
N1  - Revision of thesis (Ph.D.)--Stanford University, 1979; Includes bibliographical references (p. 155-158) and index
ER  -