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

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

類似資料:

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

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

共立出版
7 図書 パソコン漢字処理プログラミング

向山, 建生

誠文堂新光社
2 図書 法律家のためのコンピュータ利用法 : 論理プログラミング入門

加賀山, 茂(1948-)

有斐閣
8 図書 構造的プログラミング

有澤, 誠(1944-)

昭晃堂
3 図書 Mathematicaプログラミング技法

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

トッパン
9 図書 自然言語理解と論理プログラミング

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

近代科学社
4 図書 FORTRAN77図形処理プログラミング

森, 正武(1937-)

岩波書店
10 図書 ミニコンピュータシステム入門 : 原理とプログラミング : PDP-11

Eckhouse, Richard H., 1940-, 中西, 正和(1943-)

培風館
5 図書 FORTRANプログラミング

松平, 誠(1930-)

日刊工業新聞社
11 図書 プログラミングの生産・管理

菅野, 文友(1929-)

昭晃堂
6 図書 知的プログラミング

大須賀, 節雄(1934-)

オーム社
12 図書 プログラミング言語処理系

佐々, 政孝(1948-)

岩波書店