Blank Cover Image
所蔵情報QRコード

計算理論と論理プログラミング / Melvin Fitting [著] ; 山崎秀記 [ほか] 共訳

資料種別:
図書
出版情報:
東京 : 丸善, 1989.8
形態:
xii, 252p ; 22cm
著者名:
ISBN:
9784621033975 [4621033972]
書誌ID:
BN03867065
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

山崎, 秀記(1949-)

培風館

蓮見, 善久(1932-)

理工学社

Holt, R. C. (Richard C.), 1941-, 湯淺, 太一(1952-), 松田, 元彦, 三好, 博之, 竹岡, 尚三

啓学出版

飯尾, 淳(1970-)

オーム社

International Workshop on Natural Language Understanding and Logic Programming, Dahl, Veronica, 1950-, Saint-Dizier, …

近代科学社

和田, 弘(1914-2007), 山本, 欣子(1928-)

共立出版

田辺, 誠(1970-), 中島, 玲二(1947-), 長谷川, 真人(1970-)

岩波書店

海老原, 浩之, 川俣, 晶(1964-)

技術評論社

Gaylord, Richard J., Kamin, Samuel N., Wellin, Paul R., 榊原, 進

近代科学社

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12