Blank Cover Image
タイトル、所在を表示します

書き換えシステムの基本的性質の解明と完備化手続きに関する研究

フォーマット:
図書
責任表示:
研究代表者 大山口通夫
言語:
日本語; 英語
出版情報:
[津] : [大山口通夫], 1999.3
形態:
1冊 ; 30cm
著者名:
大山口, 通夫 <DA03634243>  
書誌ID:
BA43585792
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 書き換えシステムの基本的性質の解明と定理の自動証明に関する研究

大山口, 通夫

[大山口通夫]
7 図書 項書き換えシステムに関する研究

張, 磊

三重大学
2 図書 書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究

大山口, 通夫

[大山口通夫]
8 図書 「進化論」を書き換える

池田, 清彦(1947-)

新潮社
3 図書 書き換えシステムの基本的性質の解明と関数型プログラムの評価戦略に関する研究

大山口, 通夫

[三重大学]
9 図書 データベーススペシャリスト完全教本 : テキスト&問題集の決定版!

山之内, 輝孝, 森脇, 慎一郎, 片岡, 信之, 中根, 真紀子, 金子, 則彦

日本経済新聞出版社
4 図書 書き換えシステムに関する研究

三橋, 一郎

三重大学
10 図書 伝わる文章の書き方教室 : 書き換えトレーニング10講

飯間, 浩明(1967-)

筑摩書房
5 図書 文の書き換え

池田, 重三

日本図書ライブ
11 図書 コンパイラの理論

大山口, 通夫

コロナ社
6 図書 非線形項書き換えシステムに関する研究

松浦, 邦博

三重大学
12 図書 日本書紀成立の真実 : 書き換えの主導者は誰か

森, 博達(1949-)

中央公論新社