Blank Cover Image
QRコード(所蔵情報)

数理論理学 : 合理的エージェントへの応用に向けて

フォーマット:
図書
責任表示:
加藤暢, 高田司郎, 新出尚之共著
言語:
日本語
出版情報:
東京 : コロナ社, 2014.10
形態:
x, 210p : 挿図 ; 21cm
著者名:
書誌ID:
BB16884051
ISBN:
9784339024890 [4339024899]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 オブジェクト指向Javaプログラミング入門 : Eclipseではじめる

加藤, 暢(工学), 樋口, 昌宏, 高田, 司郎

近代科学社
7 図書 数理論理学

福山, 克(1942-)

培風館
2 図書 計算論理入門 : 情報の数理

田中, 尚夫(1928-)

裳華房
8 図書 数理論理学

松本, 和夫(1922-)

共立出版
3 図書 数理論理学 : 数学的理論の論理的構造

前原, 昭二(1927-1992)

培風館
9 図書 数理論理学 = Mathematical logic

戸次, 大介(1973-)

東京大学出版会
4 図書 数理論理学 : 使い方と考え方 : 超準解析の入口まで

江田, 勝哉(1946-)

内田老鶴圃
10 図書 数理論理学序説

前原, 昭二(1927-1992)

共立出版
5 図書 数理論理学

古川, 康一(1942-), 向井, 国昭

コロナ社
11 図書 数理論理学 : 語の問題

竹内, 外史(1926-)

培風館
6 図書 数理論理学

鹿島, 亮

朝倉書店
12 図書 数理論理学入門

入江, 盛一(1911-)

培風館