>> Amazon.co.jp

述語論理と論理プログラミング

責任表示:
有川節夫, 原口誠共著
言語:
日本語
出版情報:
東京 : オーム社, 1988.5
形態:
vii, 217p ; 22cm
著者名:
シリーズ名:
知識工学講座 ; 4 <BN00700584>
ISBN:
9784274073861 [4274073866]
書誌ID:
BN02198061
フォーマット:
図書
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

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

中村, 克彦(1943-)

オーム社

森, 正武(1937-)

岩波書店

溝口, 文雄(1941-), 古川, 康一(1942-), Lassez, Jean-Louis

共立出版

松平, 誠(1930-)

日刊工業新聞社

Lloyd, J. W. (John Wylie), 1947-, 佐藤, 雅彦(1947-), 森下, 真一(1960-)

産業図書

Ragsdale, Susann, 吉川, 正孝(1961-)

マグロウヒル出版

小川, 束

啓学出版

大須賀, 節雄(1934-)

オーム社

Maeder, Roman E., 宇田川, 誠一, 時田, 節, 井川, 俊彦(1948-)

トッパン

堀口, 進(1952-)

共立出版

Dijkstra, Edsger Wybe, 1930-, Feijen, W. H. J., 玉井, 浩

サイエンス社

有澤, 誠(1944-)

昭晃堂