Combinatory logic.

被引:0
作者
Decock, L
机构
来源
TIJDSCHRIFT VOOR FILOSOFIE | 1998年 / 60卷 / 01期
关键词
D O I
暂无
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
引用
收藏
页码:206 / 207
页数:2
相关论文
共 50 条
[41]   Logic. The theory of inquiry [J].
Nef, F .
ARCHIVES DE PHILOSOPHIE, 1997, 60 (03) :434-435
[42]   Displaying modal logic. [J].
Ferguson, KG .
HISTORY AND PHILOSOPHY OF LOGIC, 1999, 20 (02) :134-135
[43]   COMPLEX SPECTRAL LOGIC. [J].
Moraga, Claudio .
1600, IEEE, New York, NY
[44]   Godel: A life of logic. [J].
Brody, LH .
LIBRARY JOURNAL, 2001, 126 (01) :146-146
[45]   FLUIDIC THRESHOLD LOGIC. [J].
Jaskolski, E.P. ;
Camp, D.T. .
1600, (94)
[46]   NONMETRIC SPATIAL LOGIC. [J].
Varosyan, S.O. ;
Pospelov, D.A. .
Engineering cybernetics, 1983, 20 (05) :64-76
[47]   Propositions: Ontology and Logic. [J].
Turner, Jason .
PHILOSOPHICAL REVIEW, 2025, 134 (02) :235-239
[48]   EXTENDED ARRAY LOGIC. [J].
Cook, P.W. ;
Goertzel, G. .
IBM Technical Disclosure Bulletin, 1976, 18 (09) :3112-3114
[49]   Combinatory Logic Synthesizer [J].
Bessai, Jan ;
Dudenhefner, Andrej ;
Duedder, Boris ;
Martens, Moritz ;
Rehof, Jakob .
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 :26-40
[50]   Reversible combinatory logic [J].
Di Pierro, Alessandra ;
Hankin, Chris ;
Wiklicky, Herbert .
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2006, 16 (04) :621-637