COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.device xgp
C00003 00003	.begin nofill
C00004 00004	.begin nofill
C00006 ENDMK
C⊗;
.device xgp;
.singlescript
.spacing 10*5 mills;
.page frame 48 high 80 wide
.area text lines 1 to 48
.
.turn on "↔" for "→"
.turn on "%,π,α,#,&,∂,↑,↓,[,]"
.turn on "∩" for "↑"
.turn on "∪" for "↓"
.font 1 "ngr40l";
.font 3 "math30";
.font 4 "grkl40";
.at "|cd" ⊂"%3α*%*"⊃
.
.select 1
.
.place text;
.
.next page
.begin nofill
Stanford Heuristic Programming Project↔June 1979
Memo HPP-79-12
.skip
Computer Science Department
Report No. STAN-CS-79-742
.skip 5
.begin center
HANDBOOK OF ARTIFICIAL INTELLIGENCE:
SEARCH
.skip
by
.skip
Anne Gardner
.skip 6
C O M P U T E R   S C I E N C E   D E P A R T M E N T
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page
.begin nofill
↔   
.skip 5
.begin center
FORMALIZING THE ANALYSIS OF ALGORITHMS
.skip
by
.skip
Lyle Harold Ramshaw, Ph.D.
.skip 5
STAN-CS-79-741
June 1979
.skip 4
C O M P U T E R   S C I E N C E   D E P A R T M E N T
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page