A 1ST-ORDER LOGIC FOR PARTIAL RECURSIVE FUNCTIONS

被引：0
|
作者：
GAVILANESFRANCO, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 452卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：277 / 284
页数：8
相关论文
共 50 条
12345