AN INTRODUCTION TO THE PL/CV2 PROGRAMMING LOGIC

被引：0
作者：
CONSTABLE, RL
JOHNSON, SD
EICHENLAUB, CD
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1982年 / 135卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：R7 / 287
相关论文
共 41 条
[1]  
Aczel P., 1978, LOG C 77, V96, P55
[2]  
Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st
[3]  
BATES JL, 1979, THESIS CORNELL U
[4]  
Bell JL., 1977, COURSE MATH LOGIC
[5]  
Boyer R.S., 1979, ACM MONOGRAPH SERIES
[6]  
CARTWRIGHT R, 1980, TR80427 CORN U COMP
[7]  
CHAN T, 1977, TR77326 CORN U DEP C
[8]  
CHAN TH, 1979, TR79326 CORN U DEP C
[9]  
Constable R. L., 1978, PROGRAMMING LOGIC
[10]  
CONSTABLE RL, 1978, PROGRAM VERIFICATION
12345