AN ALGEBRAIC FORMULATION OF K-N PROPOSITIONAL CALCULUS .4.

被引：0
|
作者：
TANAKA, S
机构：
来源：
PROCEEDINGS OF THE JAPAN ACADEMY | 1968年 / 44卷 / 08期
关键词：
D O I：
10.3792/pja/1195521031
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：786 / &
相关论文
共 50 条
  • [41] Study of Σ* Resonances from K-N → πΛ Reactions
    Gao, Puze
    Shi, Jun
    Zou, B. S.
    FEW-BODY SYSTEMS, 2013, 54 (7-10) : 1161 - 1165
  • [42] A study of reaction K-N → (K-π+π-)N at 28 GeV/c
    Nikolaenko, V
    HADRON SPECTROSCOPY, 2002, 619 : 641 - 645
  • [43] Coverage Optimized Active Learning for k-N N Classifiers
    Joshi, Ajay J.
    Porikli, Fatih
    Papanikolopoulos, Nikolaos
    2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2012, : 5353 - 5358
  • [44] MECHANICAL PROOF PROCEDURE FOR N-VALUED PROPOSITIONAL CALCULUS
    ORLOWSKA, E
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1967, 15 (08): : 537 - &
  • [45] EXPRESSING AND USING N-ADIC OPERATORS IN THE PROPOSITIONAL CALCULUS
    MESSENGER, T
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1086 - 1086
  • [46] Constructing test suites for k-n software system
    Gao, Jian-Hua
    Zhang, Dan
    Journal of Donghua University (English Edition), 2012, 29 (03) : 263 - 267
  • [47] An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus
    Laita, LM
    deLedesma, L
    RoanesLozano, E
    RoanesMacias, E
    INTEGRATING SYMBOLIC MATHEMATICAL COMPUTATION AND ARTIFICIAL INTELLIGENCE, 1995, 958 : 255 - 263
  • [48] d-cube decompositions of K-n/K-m
    Adams, P
    Bryant, DE
    ElZanati, SI
    VandenEynden, C
    GRAPHS AND COMBINATORICS, 1997, 13 (01) : 1 - 7
  • [49] Constructing Test Suites for k-n Softw are System
    高建华
    张丹
    Journal of Donghua University(English Edition), 2012, 29 (03) : 263 - 267
  • [50] K-N INTERACTIONS AT 3.6 AND 3.9 GEV/C
    CRENNELL, DJ
    FLAMINIO, E
    KARSHON, U
    LAI, KW
    METZGER, WJ
    ONEALL, JS
    SCARR, JM
    SCHUMANN, TG
    BULLETIN OF THE AMERICAN PHYSICAL SOCIETY, 1968, 13 (04): : 704 - &
12345