Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985

>> Amazon.co.jp

このページのQRコード

Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985

種類:

図書

責任表示:

edited by Eiiti Wada

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1986

著者名:

シリーズ名:

Lecture notes in computer science ; 221 <BA00009279>

ISBN:

9783540164791 [3540164790] (: gw)

9780387164793 [0387164790] (: us)

注記:

Papers presented at the Fourth Logic Programming Conference
Includes bibliographies

所蔵情報

子書誌情報

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

詳細

主題:	プログラミング(電子計算機)
分類・件名:	NDC7 : 549.92 LCSH : Logic programming NDLSH : プログラミング(電子計算機)
LCCN:	86011829
TTLL:	eng
著者名ヨミ:	ワダ, エイイチ
言語:	英語
形態:	ix, 311 p. : ill. ; 25 cm
書誌ID:	BA00209777

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 Logic Programming Conference, 新世代コンピュータ技術開発機構, 和田, 英一(1931-) Springer-Verlag	7 電子ブック Logic Programming '89 : Proceedings of the 8th Conference Tokyo, Japan, July 12–14, 1989 Furukawa, Koichi, Tanaka, Hozumi, Fujisaki, Tetsunosuke, SpringerLink (Online service) Springer-Verlag
2 電子ブック Logic Programming '85 : Proceedings of the 4th Conference Tokyo, Japan, July 1–3, 1985 Wada, Eiiti, SpringerLink (Online service) Springer-Verlag	8 電子ブック Logic Programming '89 : Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 Furukawa, Koichi., Tanaka, Hozumi., Fujisaki, Tetsunosuke., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
3 電子ブック Logic Programming '85 : Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 Wada, Eiiti., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	9 図書 Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings International Conference on Logic Programming, Shapiro, Ehud Y. Springer-Verlag
4 図書 Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 Logic Programming Conference, 古川, 康一(1942-), 田中, 穂積(1941-), 藤崎, 哲之助 Springer-Verlag	10 図書 RIMS Symposia on Software Science and Engineering II : proceedings of the Symposia 1983 and 1984, Kyoto, Japan RIMS Symposium on Software Science and Engineering, 後藤, 英一(1931-), 荒木, 啓二郎, 湯浅, 太一(1952-), 京都大学数理解析研究所 Springer-Verlag
5 図書 Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 Logic Programming Conference, 古川, 康一(1942-), 藤崎, 哲之助, 田中, 穂積(1941-) Springer-Verlag	11 電子ブック Logic Programming '86 : Proceedings of the 5th Conference Tokyo, Japan, June 23–26, 1986 Wada, Eiiti, SpringerLink (Online service) Springer-Verlag
6 図書 Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 Logic Programming Conference, 古川, 康一(1942-), 田中, 穂積(1941-), 藤崎, 哲之助 Springer-Verlag	12 電子ブック Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22–24, 1987 Furukawa, Koichi, Tanaka, Hozumi, Fujisaki, Tetsunosuke, SpringerLink (Online service) Springer-Verlag