AUTOMATIC THEOREM-PROVING IN THE ISDV SYSTEM

被引：0
作者：
BEIERLE, C
OLTHOFF, W
VOSS, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 230卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：670 / 671
页数：2
相关论文
共 6 条
  • [1] BEIERLE C, 1985, SEKI8512 U KAIS MEM
  • [2] BEIERLE C, 1983, S SOFTWARE VALIDATIO
  • [3] BEIERLE C, 1986, ACM WORKSHOP SOFTWAR
  • [4] OLTHOFF W, 1985, SIGPLAN NOTICES, V20
  • [5] RAPH KMG, 1984, SEKIMK8401 U KAIS ME
  • [6] [No title captured]
1