Sample records for logic mathematics
from WorldWideScience.org

Sample records 1 - 20 shown. Select sample records:



3

評論・書評

心理学研究;  Vol. 17 (1942) No. 3-4  pp.386-391

Journal@rchive (Japan) (Japanese)

19

書評

竹村 彰通; 神保 敏弥; 大山 陽介; 山田 俊雄; 岩本 豊; 鈴木 信行; 松本 久義; 重川 一郎

Journal@rchive (Japan) (Japanese)

20

書評

中神 祥臣; 中内 伸光; 安芸 重雄; 曽布川 拓也; 日比 孝之; 大田 春外; 小野 寛晰; 露峰 茂明; 宇田川 誠一; 小山 晃

Journal@rchive (Japan) (Japanese)

21

書評

成田 清正; 森本 明彦; 倉田 令二朗; 満渕 俊樹; 矢野 健太郎

Journal@rchive (Japan) (Japanese)

22

書評

坪井 明人; 塩田 隆比呂; 神島 芳宣

Journal@rchive (Japan) (Japanese)

23

書評

石原 和夫; 安田 豊; 太田 雅己; 北田 均; 栗林 章和; 河野 敬雄

Journal@rchive (Japan) (Japanese)

24

書評

本橋 信義; 難波 完爾

Journal@rchive (Japan) (Japanese)

25

書評

白井 古希男; 中村 幸四郎; 久保 泉; 福山 克; 一松 信; 下田 節郎

Journal@rchive (Japan) (Japanese)

26

書評

村田 全; 亀谷 俊司; 小林 昭七; 石原 繁; 山中 健; 杉山 昌平; 吉田 紀雄

Journal@rchive (Japan) (Japanese)

27

書評

永田 雅宜; 近藤 基吉

Journal@rchive (Japan) (Japanese)

28

書評

大江 精三; 村上 陽一郎; 長坂 源一郎; 中村 昭; 林 知己夫

Journal@rchive (Japan) (Japanese)

29

書評

林 知己夫; 吉田 夏彦

Journal@rchive (Japan) (Japanese)

30

書評

永井 博; 大江 精三; 山内 恭彦; 中村 昭

Journal@rchive (Japan) (Japanese)

31

書評

中村 昭; 大坪 重明; 大江 精三; 林 知己夫

Journal@rchive (Japan) (Japanese)

33

書評

村上 陽一郎; 黒崎 宏

Journal@rchive (Japan) (Japanese)

34

書評

上野 義夫; 内田 種臣; 大窪 徳行; 阿部 典寿

Journal@rchive (Japan) (Japanese)

35

書評

八杉 竜一; 白井 古希男; 内田 種臣

Journal@rchive (Japan) (Japanese)

58

山口県立山口図書館蔵洋書目録

英学史研究;  Vol. 1974 (1973) No. 6  pp.ap1-ap42

Journal@rchive (Japan) (Japanese)

60

学界だより

計測と制御;  Vol. 29 (1990) No. 4  pp.381-383

Journal@rchive (Japan) (Japanese)

62

国際会議案内

情報管理;  Vol. 46 (2004) No. 11  pp.775-776

Journal@rchive (Japan) (Japanese)

63

国際会議案内

情報管理,     Vol. 46 (2004)     No. 11      pp.775-776
2004-01-01

J-STAGE (Japan) (Japanese)

64

国際会議案内

情報管理;  Vol. 45 (2002) No. 1  pp.71-

Journal@rchive (Japan) (Japanese)

65

国際会議案内

情報管理,     Vol. 45 (2002)     No. 1      pp.71-
2002-01-01

J-STAGE (Japan) (Japanese)

73

ワルシャワ・コングレス

数学;  Vol. 36 (1984) No. 1  pp.1-10

Journal@rchive (Japan) (Japanese)

86

セマンティックWebサービスマッチメーカーの公開実験に基づく評価

川村 隆浩; 長谷川 哲夫; 大須賀 昭彦; Massimo Paolucci; Katia Sycara

Journal@rchive (Japan) (Japanese)

87

セマンティックWebサービスマッチメーカーの公開実験に基づく評価

川村 隆浩; 長谷川 哲夫; 大須賀 昭彦; Massimo Paolucci; Katia Sycara
2005-01-01

J-STAGE (Japan) (Japanese)

96

Type logic served by co-Merge, Merge and Move: an account for sluicing and questions of “common European” and Japanese types

Zakharyaschev, Ivan

We explore the power of type-logical grammar as a linguistic theory, specifically, of a new tentative development inside the framework—a “symmetricized” Lambek Calculus, due to [Moortgat2005]. The basis for our discussion is an account we give for constructions involving questions and—in particular—...

DRIVER (Japanese)