INTRODUCTION TO FORMAL REALIZABILITY THEORY .1.

被引：85

|

作者：

MCMILLAN, B

机构：

来源：

BELL SYSTEM TECHNICAL JOURNAL | 1952年 / 31卷 / 02期

关键词：

D O I：

10.1002/j.1538-7305.1952.tb01383.x

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

收藏

页码：217 / 279

页数：63

相关论文

共 50 条

[31] THEORY OF THE ULTRASONIC ABSORPTION IN AQUEOUS SOLUTIONS .1. INTRODUCTION AND GENERAL THEORY
NOMOTO, O
JOURNAL OF THE PHYSICAL SOCIETY OF JAPAN, 1956, 11 (08) : 827 - 840
[32] FORMAL METHODS .1.
DEMAN, JA
MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 153 - 153
[33] THE STRUCTURAL THEORY OF ELECTROLYTE-SOLUTIONS .1. INTRODUCTION
KARELSON, MM
ORGANIC REACTIVITY, 1984, 21 (02): : 160 - 179
[34] INTRODUCTION TO THE THEORY OF DIFFUSION AND SLOWING DOWN OF NEUTRONS .1.
MARSHAK, RE
BROOKS, H
HURWITZ, H
NUCLEONICS, 1949, 4 (05): : 10 - 22
[35] ELECTRON-MAGNON INTERACTIONS IN ITINERANT FERROMAGNETISM .1. FORMAL THEORY
HERTZ, JA
EDWARDS, DM
JOURNAL OF PHYSICS F-METAL PHYSICS, 1973, 3 (12): : 2174 - 2190
[36] DYNAMICS OF A CLASSICAL HARD-SPHERE GAS .1. FORMAL THEORY
LEUTHEUSSER, E
JOURNAL OF PHYSICS C-SOLID STATE PHYSICS, 1982, 15 (13): : 2801 - 2826
[37] INTRODUCTION TO A MATHEMATICAL THEORY OF CHEMICAL REACTION NETWORKS .1.
SELLERS, PH
ARCHIVE FOR RATIONAL MECHANICS AND ANALYSIS, 1971, 44 (01) : 23 - &
[38] Introduction to elementary probability theory and formal stochastic language theory
Bod, R
PROBABILISTIC LINGUISTICS, 2003, : 11 - 37
[39] Intuitionistic formal theories with realizability in subrecursive classes
Beltiukov, AP
ANNALS OF PURE AND APPLIED LOGIC, 1997, 89 (01) : 3 - 15
[40] KINETIC-THEORY OF THE DEPOLARIZED LIGHT-SCATTERING R PARAMETER .1. FORMAL THEORY
COLE, RG
HOFFMAN, DK
EVANS, GT
JOURNAL OF CHEMICAL PHYSICS, 1984, 80 (11): : 5365 - 5374

← 1 2 3 4 5 →