|
|
|
Volumn 2, Issue , 1981, Pages 1044-1052
|
|
FORMAL REPRESENTATION FOR PLANS IN THE PROGRAMMER'S APPRENTICE.
a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ADDITIVITY;
INPUT-OUTPUT SPECIFICATIONS;
PLAN CALCULUS;
PROGRAMMING LANGUAGE INDEPENDENCE;
USE OF SITUATIONAL CALCULUS;
VERIFIABILITY;
COMPUTER PROGRAMMING;
|
|
EID: 0019648586
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (57)
|
|
References (0)
|
