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

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

種類:
図書
責任表示:
Melvin Fitting [著] ; 山崎秀記 [ほか] 共訳
出版情報:
東京 : 丸善, 1989.8
著者名:
ISBN:
9784621033975 [4621033972]  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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

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

共立出版
7 図書 Smalltalkプログラミングマニュアル : パソコンでビジュアルな対話型処理プログラミングを自由自在に

小嶋, 隆一(1949-)

JICC出版局
2 図書 プログラミング言語の基礎理論

大堀, 淳

共立出版
8 図書 C&Fortranによる数値計算プログラミング入門

服部, 裕司

共立出版
3 図書 FORTRAN計算幾何プログラミング

杉原, 厚吉(1948-)

岩波書店
9 図書 FORTRAN77による計算機プログラミング速習

宇土, 顕彦

コロナ社
4 図書 N88BASIC・BASIC/98技術計算プログラミング

大江, 修造

日刊工業新聞社
10 図書 C&Fortranによる数値計算プログラミング入門

服部, 裕司

共立出版
5 図書 電子計算機のプログラミング

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

共立出版
11 図書 プログラミング言語理論への招待 : 正しいソフトウェアを書くために

Meyer, Bertrand, 1950-, 酒匂, 寛(1958-)

アスキー
6 図書 述語論理と論理プログラミング

有川, 節夫, 原口, 誠(1954-)

オーム社
12 図書 プログラミングLinux

Johnson, Michael K., Troan, Erik W., クイック

アスキー