Introduction and call for papers

被引：0
|
作者：
Wansing, Heinrich [1 ]
机构：
[1] Dresden Univ Technol, D-8027 Dresden, Germany
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2007年 / 17卷 / 01期
关键词：
D O I：
10.1093/logcom/exl022
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：5 / 5
页数：1
相关论文