>> Amazon.co.jp

計算理論と論理プログラミング

フォーマット:
図書
責任表示:
Melvin Fitting [著] ; 山崎秀記 [ほか] 共訳
言語:
日本語
出版情報:
東京 : 丸善, 1989.8
形態:
12, 252p ; 22cm
著者名:
書誌ID:
BN03867065
ISBN:
9784621033975 [4621033972]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 情報科学の基礎 : 記法・概念・計算とアルゴリズム

山崎, 秀記(1949-)

サイエンス社
7 図書 N88BASIC・BASIC/98技術計算プログラミング

大江, 修造

日刊工業新聞社
2 図書 Prologと論理プログラミング

中村, 克彦(1943-)

オーム社
8 図書 FORTRAN計算幾何プログラミング

杉原, 厚吉(1948-)

岩波書店
3 図書 電子計算機のプログラミング

和田, 弘, 山本, 欣子(1928-)

共立出版
9 図書 プログラミング言語Turing : 言語仕様の基礎理論と設計技法

Holt, R. C. (Richard C.), 1941-, 湯浅, 太一(1952-), 松田, 元彦, 三好, 博之, 竹岡, 尚三

啓学出版
4 図書 述語論理と論理プログラミング

有川, 節夫, 原口, 誠

オーム社
10 図書 C++プログラミング

Deitel, Harvey M., 1945-, Deitel, Paul J., 小嶋, 隆一(1949-)

プレンティスホール出版
5 図書 Smalltalkプログラミングマニュアル : パソコンでビジュアルな対話型処理プログラミングを自由自在に

小嶋, 隆一(1949-)

JICC出版局
11 図書 自然言語理解と論理プログラミング

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

近代科学社
6 図書 Linuxによる画像処理プログラミング

飯尾, 淳(1970-)

オーム社
12 図書 C&Fortranによる数値計算プログラミング入門

服部, 裕司

共立出版