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

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

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

類似資料:

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

中村, 克彦(1943-)

オーム社

Knuth, Donald Ervin, 1938-, 有澤, 誠(1944-)

アスキー

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

共立出版

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

トッパン

小川, 束

啓学出版

佐々, 政孝(1948-)

岩波書店

原田, 賢一

サイエンス社

森, 正武(1937-)

岩波書店

有田, 五次郎, 電子通信学会

コロナ社

有澤, 誠(1944-)

昭晃堂

Purdum, Jack J. (Jack Jay), 石原, 孝一郎, 海永, 正博

丸善