IMPERATIVE INFERENCE

被引：1

|

作者：

PEETZ, V

机构：

来源：

ANALYSIS | 1979年 / 39卷 / 02期

关键词：

D O I：

10.2307/3327790

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

下载

收藏

页码：109 / 112

页数：4

相关论文

共 50 条

[1] IMPERATIVE INFERENCE
KASHAP, P
MIND, 1971, 80 (317) : 141 - 143
[2] IMPERATIVE INFERENCE - AN ADDENDUM
PEETZ, V
ANALYSIS, 1981, 41 (01) : 54 - 55
[3] In Defense of Imperative Inference
Vranas, Peter B. M.
JOURNAL OF PHILOSOPHICAL LOGIC, 2010, 39 (01) : 59 - 71
[4] In Defense of Imperative Inference
Peter B. M. Vranas
Journal of Philosophical Logic, 2010, 39 : 59 - 71
[5] New Foundations for Imperative Logic: Pure Imperative Inference
Vranas, Peter B. M.
MIND, 2011, 120 (478) : 369 - 446
[6] Imperative inference and practical rationality
Daniel W. Harris
Philosophical Studies, 2022, 179 : 1065 - 1090
[7] Imperative inference and practical rationality
Harris, Daniel W.
PHILOSOPHICAL STUDIES, 2022, 179 (04) : 1065 - 1090
[8] Inference of polynomial invariants for imperative programs: A farewell to Grobner bases
Cachera, David
Jensen, Thomas
Jobin, Arnaud
Kirchner, Florent
SCIENCE OF COMPUTER PROGRAMMING, 2014, 93 : 89 - 109
[9] Inference of Polynomial Invariants for Imperative Programs: A Farewell to Grobner Bases
Cachera, David
Jensen, Thomas
Jobin, Arnaud
Kirchner, Florent
STATIC ANALYSIS, SAS 2012, 2012, 7460 : 58 - 74
[10] FROM THE HEROIC IMPERATIVE TO THE HERETIC IMPERATIVE
CAMPS, V
REVISTA DE OCCIDENTE, 1985, (46) : 47 - 57

← 1 2 3 4 5 →