Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988

>> Amazon.co.jp

このページのQRコード

Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988

種類:

図書

責任表示:

K. Furukawa, H. Tanaka, T. Fujisaki (eds.)

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1989

著者名:

シリーズ名:

Lecture notes in computer science ; 383 . Lecture notes in artificial intelligence <BA00009279>

ISBN:

9783540515647 [354051564X] (: gw)

9780387515649 [038751564X] (: us)

注記:

'Papers presented at the Seventh Logic Programming Conference'--Foreword
Includes bibliographies

所蔵情報

子書誌情報

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

詳細

主題:	Logic programming--Congresses
分類・件名:	NDC7 : 549 NDC7 : 549.92 LCSH : Logic programming -- Congresses
LCCN:	89021576
TTLL:	eng
著者名ヨミ:	フルカワ, コウイチタナカ, ホズミフジサキ, テツノスケ
言語:	英語
形態:	viii, 251 p. ; 25 cm
書誌ID:	BA07365216

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 Logic Programming Conference, 古川, 康一(1942-), 田中, 穂積(1941-), 藤崎, 哲之助 Springer-Verlag	7 図書 Logic for programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings LPAR, Nieuwenhuis, Robert, Voronkov, A. (Andreĭ), 1959- Springer
2 図書 Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 Logic Programming Conference, 古川, 康一(1942-), 藤崎, 哲之助, 田中, 穂積(1941-) Springer-Verlag	8 図書 Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings Logic Programming Summer School, Comyn, G. (Gérard), Fuchs, N. E. (Norbert E.), Ratcliffe, M. (Michael) Springer-Verlag
3 電子ブック Logic Programming '88 : Proceedings of the 7th Conference Tokyo, Japan, April 11–14, 1988 Furukawa, Koichi, Tanaka, Hozumi, Fujisaki, Tetsunosuke, SpringerLink (Online service) Springer-Verlag	9 図書 Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings International Symposium, PLILP, Hermenegildo, Manuel, Penjam, Jaan, 1955- Springer-Verlag
4 電子ブック Logic Programming '88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 Furukawa, Koichi., Tanaka, Hozumi., Fujisaki, Tetsunosuke., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	10 図書 Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : … International Symposium, PLILP, Hermenegildo, Manuel, Swierstra, S. Doaitse Springer-Verlag
5 図書 Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. … Russian Conference on Logic Programming, Voronkov, A. (Andreĭ), 1959- Springer-Verlag	11 図書 Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings FLOPS, Hu, henjiang,, Rodríguez Artalejo, M. (Mario) Springer
6 図書 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario) Springer-Verlag	12 図書 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario) Springer