托马斯·彼得日科夫斯基
人员信息
优化列表
![笔记](https://dblp2.uni-trier.de/img/note-mark.dark.12x12.png)
1990 – 1999
1993 [j8] 伊曼纽尔刀 , 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
Horn条款的平等和绑架居留。 西奥。 计算。 科学。 120 ( 1 ) : 1-44 ( 1993 ) 1992 [第14条] 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
可视消息流语言MFL及其接口。 高级视觉界面 1992 : 348-361 [c13] 菲利普·考克斯 , 伊曼纽尔刀 , 托马斯·彼得日科夫斯基 :
具有等式的逻辑编程中的诱拐。 FGCS公司 1992 : 539-545 1990 [第12条] 朱莉·茨威戈龙 , 约翰·比尔鲍尔 , 克纳斯特 , 托马斯·彼得日科夫斯基 , 约翰·普格 :
计算机科学课程中的面向对象编程(小组会议)。 SIGCSE公司 1990 : 260
1980 – 1989
1989 [第11条] 菲利普·T·考克斯 , F.R.贾尔斯 , 托马斯·彼得日科夫斯基 :
Proggraph:将编程从文本条件中解放出来的一步。 VL公司 1989 : 150-156 1987 [第10条] 菲利普·考克斯 , 托马什·皮特齐科夫斯基 :
通过外展推理进行一般诊断。 SLP公司 1987 : 183-189 1986 [j7] 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
通过表面演绎将等式纳入逻辑编程。 Ann.纯粹应用。 日志。 31 : 177-189 ( 1986 ) 【c9】 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
事件原因:计算和应用。 CADE公司 1986 : 608-621 1985 [j6] 斯坦·马特温 , 托马斯·彼得日科夫斯基 :
序言:初步报告。 计算。 语言。 10 ( 2 ) : 91-126 ( 1985 ) [j5] 斯坦·马特温 , 托马斯·彼得日科夫斯基 :
基于计划的扣除中的智能回溯。 IEEE传输。 模式分析。 机器。 智力。 7 ( 6 ) : 682-692 ( 1985 ) 【c8】 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
PROGRAPH中的高级编程辅助工具。 SIGSMALL公司 1985 : 27-33 【c7】 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
表面演绎:逻辑编程的统一机制。 SLP公司 1985 : 220-227 1984 【j4】 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
用于反向Skolemization的完整、无冗余算法。 西奥。 计算。 科学。 28 : 239-261 ( 1984 ) 1983 【c6】 斯坦·马特温 , 托马斯·彼得日科夫斯基 :
FOL中自动扣除的智能回溯。 逻辑编程研讨会 1983 : 186-191 1982 【c5】 托马斯·彼得日科夫斯基 , 斯坦·马特温 :
有效回溯的指数改进:基于计划的演绎策略。 CADE公司 1982 : 223-239 【c4】 斯坦·马特温 , 托马斯·彼得日科夫斯基 :
高效回溯的指数改进:数据结构和实现。 CADE公司 1982 : 240-259 1981 [j3] 菲利普·考克斯 , 托马斯·彼得日科夫斯基 :
扣除计划:智能回溯的基础。 IEEE传输。 模式分析。 机器。 智力。 三 ( 1 ) : 52-65 ( 1981 ) 1980 【c3】 菲利普·T·考克斯 , 托马斯·彼得日科夫斯基 :
反向Skolemization的完整、无冗余算法。 CADE公司 1980 : 374-385
1970 – 1979
1976 [注2] D.C.延森 , 托马斯·彼得日科夫斯基 :
机械化 欧米茄 -通过统一的订单类型理论。 西奥。 计算。 科学。 三 ( 2 ) : 123-171 ( 1976 ) 1973 [j1] 托马斯·彼得日科夫斯基 :
二阶型理论的完全机械化。 美国临床医学杂志 20 ( 2 ) : 333-364 ( 1973 ) 1972 【c2】 托马斯·彼得日科夫斯基 , D.C.延森 :
(Ω)阶类型理论的完全机械化。 ACM年会(1) 1972 : 82-92
1960 – 1969
1962 【c1】 托马斯·彼得日科夫斯基 :
最陡上升法在凹面编程中的应用。 IFIP大会 1962 : 185-189
![](https://dblp2.uni-trier.de/img/cog.dark.24x24.png)