>> Google Books
QRコード(所蔵情報)

制約論理プログラミング

フォーマット:
図書
責任表示:
溝口文雄, 古川康一, J-L.Lassez編
言語:
日本語
出版情報:
東京 : 共立出版, 1989.11
形態:
viii, 202p ; 22cm
著者名:
シリーズ名:
知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 別巻2 <BN00087558>
書誌ID:
BN03977722
ISBN:
9784320024694 [4320024699]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 知識プログラミング

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

共立出版
7 図書 インタフェースの科学

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

共立出版
2 図書 プログラム変換

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

共立出版
8 図書 述語論理と論理プログラミング

有川, 節夫, 原口, 誠

オーム社
3 図書 並列論理型言語GHCとその応用

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

共立出版
9 図書 Prologによる論理プログラミング入門

小川, 束

啓学出版
4 図書 帰納論理プログラミング

古川, 康一(1942-), 尾崎, 知伸(1973-), 植野, 研(1975-)

共立出版
10 図書 FORTRAN77図形処理プログラミング

森, 正武(1937-)

岩波書店
5 図書 プログラム作成支援/エディタ設計/自然言語処理/データベース

溝口, 文雄(1941-)

総研出版, 星雲社 (発売)
11 図書 C++:オブジェクト指向プログラミング

Wiener, Richard, 1941-, Pinson, Lewis J., 前川, 守(1942-)

トッパン
6 図書 Prologと論理プログラミング

中村, 克彦(1943-)

オーム社
12 図書 BASICプログラミング百科

Lamoitier, Jean-Pierre, 寺井, 正一

啓学出版