Sample records for mathematical logic
from WorldWideScience.org

Sample records 1 - 20 shown. Select sample records:



5

Design Communication Based on Modal Logic and Fuzzy Mathematical Morphology

OYA TOMOKO; TODA KENTARO; SHIOSE TAKAYUKI; KAWAKAMI HIROSHI; KATAI OSAMU
2004-01-01

J-EAST (Japan) (Japanese)

7

進化技術の基礎と情報通信・生産物流システムへの応用

玄 光男; 川上 浩司; 辻村 泰寛; 半田 久志; 林 林; 岡本 東
2010-01-01

J-STAGE (Japan) (Japanese)

15

証拠理論における条件則の一般化と証拠推論の新しい解釈

キマラ ヴィラニー; 山田 耕一; 畦原 宗之
2009-01-01

J-STAGE (Japan) (Japanese)

17

証拠理論における条件則が満たすべき要件と新たな条件則

キマラ ヴィラニー; 山田 耕一; 畦原 宗之
2009-01-01

J-STAGE (Japan) (Japanese)

25

確率的需要シナリオを考慮した発電計画の最適化手法

村上 好樹; 小林 武則; 小俣 和也; 高橋 広文; 草野 日出男

Journal@rchive (Japan) (Japanese)

26

確率的需要シナリオを考慮した発電計画の最適化手法

村上 好樹; 小林 武則; 小俣 和也; 高橋 広文; 草野 日出男
2011-01-01

J-STAGE (Japan) (Japanese)

34

書評

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

Journal@rchive (Japan) (Japanese)

35

書評

原田 耕一郎; 渕野 昌; 八杉 満利子; 稲垣 宣生; 山田 作太郎; 鈴木 武; 坪井 明人

Journal@rchive (Japan) (Japanese)

36

書評

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

Journal@rchive (Japan) (Japanese)

37

書評

本橋 信義; 難波 完爾

Journal@rchive (Japan) (Japanese)

38

書評

林 知己夫; 吉田 夏彦

Journal@rchive (Japan) (Japanese)

39

書評

永井 博; 中村 昭

Journal@rchive (Japan) (Japanese)

40

書評

永井 博; 林 知己夫

Journal@rchive (Japan) (Japanese)

41

書評

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

Journal@rchive (Japan) (Japanese)

58

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

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

Journal@rchive (Japan) (Japanese)

60

安全監視システムの最適論理構成

井上 紘一; 幸田 武久; 熊本 博光; 高見 勲

Journal@rchive (Japan) (Japanese)

66

化学データにおける線形・非線形モデリング

金谷 重彦; Md. Altaf-Ul-Amin; 黒川 顕
2005-01-01

J-STAGE (Japan) (Japanese)

77

ワルシャワ・コングレス

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

Journal@rchive (Japan) (Japanese)

82

ファジィ数理計画法を用いた料理の選択

辻 明日夏; 倉重 賢治; 亀山 嘉正
2008-01-01

J-STAGE (Japan) (Japanese)

113
114

Preoperative surveillance program of malignant mesothelioma

KATO NOBUHIDE; TAKAGI KEIGO; KOYAMA NOBUYA
2003-01-01

J-EAST (Japan) (Japanese)

118

Pacritaxel for the treatment of a patient with angiosarcoma of the scalp

HIOKI KANA; IZUMI TOMOKO; NAGAI MIKI; KAMIYA HIDEKI; KITAJIMA YASUO
2004-01-01

J-EAST (Japan) (Japanese)

120
134
136

Gauge block interferometer using three frequency-stabilized lasers.

BITO YOICHI; HIRAI AKIKO; YOSHIMORI HIDEAKI; HONG F-L; ONAE ATSUSHI; IWASAKI SHIGEO; SETA KATSUO
2002-01-01

J-EAST (Japan) (Japanese)

143

Design and Development of a New Pulsating Cardiac Coronary Phantom for ECG-gated CT and Its Experimental Characteristics

SHEN YUN; SATO MUNEKUNI; KIMURA FUMIKO; JINZAKI MASAHIRO; HORIGUCHI JUN; ITO KATSUHIDE; KURIBAYASHI SACHIO
2005-01-01

J-EAST (Japan) (Japanese)

147

Cerebral Cortex Segmentation with Adaptive Fuzzy Spatial Modeling in 3.0T IR-FSPGR MR Images

Syoji KOBASHI; Mieko MATSUI; Noriko INOUE; Katsuya KONDO; Tohru SAWADA and Yutaka HATA
2008-01-01

J-STAGE (Japan) (Japanese)

149

COMPLETE AVULSION OF THE URETER: A CASE REPORT

INADA KOJI; ISHIGURO SHIN; IKEDA TETSUHIRO; TANJI NOZOMU; NISHIO SHUNJI; YOKOYAMA MASAYOSHI; SHINOMORI KENSUKE; SHIMIZU KIMIHARU; SATO TAKESHI
2003-01-01

J-EAST (Japan) (Japanese)

154

Analysis of factors which cause donors to collapse due to vasovagal reaction and prevention measures

NUKUTA TAEKO; KAGA YUKIKO; ARAKAWA MACHIKO; SHIBASAKI TOSHIAKI; YAMAZAKI KEN'ICHI; MIZOGUCHI HIDEAKI
2006-01-01

J-EAST (Japan) (Japanese)

157

An Analysis of Energy Education Classes Using Electric Motor Carts

MIYASHITA KOICHI; MATSUOKA SHIN'YA; NAGAMATSU MASAYASU
2005-01-01

J-EAST (Japan) (Japanese)

158

A Tutorial on an Interactive Proof Assistance Tool PVS.

TAKAKI OSAMU; WATANABE HIROSHI; TAKEYAMA MAKOTO
2005-01-01

J-EAST (Japan) (Japanese)

160

A Design Verification for the Arithmetic Logical Unit by using a Proof Checker.

WASAKI KATSUMI; FUWA YASUSHI; NAKAMURA YATSUKA; SHIDAMA YASUNARI
1999-01-01

J-EAST (Japan) (Japanese)