述語論理と論理プログラミング | 九州看護福祉大学附属図書館 OPAC

Blank Cover Image

QRコード(所蔵情報)

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

フォーマット:

図書

責任表示:

有川節夫共著 ; 原口誠共著

言語:

日本語

出版情報:

東京 : オーム社

形態:

217p ; 22cm

著者名:

シリーズ名:

知識工学講座 ; 4

目次情報:

4

書誌ID:

NB00101109

ISBN:

9784274073861 [4274073866]

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

主題:	コンピュータプログラミング
分類・件名:	NDC : 007.64
タイトルのヨミ、その他のヨミ:	ジュツゴロンリトロンリプログラミング
TTLL:	jpn
著者名ヨミ:	アリカワセツオハラグチマコト
登録日:	1998-03-10

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書文芸的プログラミング Donald E.Knuth 著, 有沢誠訳アスキー	7 図書プログラミング言語理論への招待 : 正しいソフトウェアを書くために Bertrand Meyer 著, 酒匂寛訳アスキー
2 図書知的プログラミング大須賀節雄ほか共著オーム社	8 図書 RPCプログラミング John Bloomer 著, 森島晃年監訳アスキー
3 図書 lex & yaccプログラミング : UNIX programming tools John R.Levine ほか共著, 村上列訳アスキー	9 図書 UNIX Cプログラミング David A.Curry 著, アスキー書籍編集部監訳アスキー
4 図書文系のためのC基礎実習 : 算法とプログラミング布上康夫共著, 中原昭宏共著オーム社	10 図書基本プログラミング筧捷彦著岩波書店
5 図書マルチスレッドプログラミング入門 Bil Lewis 共著, Daniel J.Berg 共著, 岩本信一訳アスキー	11 図書 Visual Basic : プログラミング入門日向俊二著プレンティスホール出版
6 図書プロフェショナル・シェルプログラミング砂原秀樹ほか共著アスキー	12 図書 Lispプログラミング入門国際AI財団編, 白川洋充著オーム社