計算理論と論理プログラミング
丸善
1989/08
4621033972
The cover image is from "Kinokuniya".
By clicking the image, the detailed page of the online store, Kinokuniya, is displayed. |
Jpn. or Foreign | 和書 |
---|---|
Title | 計算理論と論理プログラミング |
Author | Melvin Fitting [著] 山崎秀記 [ほか] 共訳 |
Publisher | 丸善 |
Pub. Date | 1989/08 |
Price | 3,708 |
Page | 12, 252p |
Size | 22cm |
ISBN | 4621033972 |
Subjects | 電子計算機 -- プログラミング||デンシケイサンキ -- プログラミング 情報理論||ジョウホウリロン |
Contents Note 1 | Computability theory, semantics, and logic programming |
---|