Term-Modal Logics
- 期刊名称Studia Logica
- 作者Melvin Fitting; Lars Thalmann; Andrei Voronkov
- 卷第69卷
- 期第1期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小357.75KB
- 发表时间2001-10
- DOI10.1023/a:1013842612702
- 页码133-169
同作者推荐
Radiotechnical physical standardsV. I. Kiparenko; A. I. Mekhannikov; V. D. Frumkin · 1979
Stability of microwave multimeter algorithmsV. A. Perepelkin; A. I. Mekhannikov · 1995
Microwave multimeter and its operating algorithmsA. I. Mekhannikov; V. A. Perepelkin · 1994
Calibration of waveguide bolometric transmitted-power transducersA. I. Mekhannikov; V. A. Perepelkin · 1974
Means for measuring electrical and magnetic quantitiesN. N. Vostroknutov; L. N. Gubanova; A. I. Mekhannikov; V. A. Yurchuk · 1979
Flexible measuring systemsV. M. Malyshev; A. I. Mekhannikov · 1986
Calculation of errors in certain UHF measurementsA. I. Mekhannikov · 1968