>> Amazon.co.jp
このページのQRコード

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

種類:
図書
責任表示:
有川節夫, 原口誠共著
出版情報:
東京 : オーム社, 1988.5
著者名:
シリーズ名:
知識工学講座 ; 4 <BN00700584>
ISBN:
9784274073861 [4274073866]  CiNii Books  Calil
注記:
参考文献: p[211]-213
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 制約論理プログラミング

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

共立出版
7 図書 知的プログラミング

大須賀, 節雄(1934-)

オーム社
2 図書 FORTRAN77図形処理プログラミング

森, 正武(1937-)

岩波書店
8 図書 構造的プログラミング

有澤, 誠(1944-)

昭晃堂
3 図書 計算理論と論理プログラミング

Fitting, Melvin Chris, 山崎, 秀記(1949-)

丸善
9 図書 文芸的プログラミング

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

アスキー
4 図書 プログラミングの方法 : 論理学を用いた正しいプログラムの作り方

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

サイエンス社
10 図書 68000プログラミング入門

King, Tim, 1954-, Knight, Brian, 1953-, 三浦, 明美(1958-)

アスキー
5 図書 文書処理とプログラミング

高森, 寛(1936-), 大畠, 永生(1933-)

岩波書店
11 図書 UNIXプログラミング環境

Kernighan, Brian W., 1942-, Pike, Rob, 野中, 浩一(1954-), 石田, 晴久(1936-)

アスキー出版局
6 図書 Prologプログラミング

Clocksin, W. F. (William F.), 1955-, Mellish, C. S. (Christopher S.), 1954-, 中村, 克彦(1943-)

マイクロソフトウェア
12 図書 アセンブリプログラミング

大駒, 誠一

サイエンス社