>> Google Books
タイトル、所在を表示します

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
形態:
viii, 251 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 383 . Lecture notes in artificial intelligence <BA00009279>
書誌ID:
BA07365216
ISBN:
9783540515647 [354051564X] (: gw)
9780387515649 [038751564X] (: us)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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 programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

International Conference on Logic Programming, Demoen, Bart, Lifschitz, Vladimir

Springer
2 図書 Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings

Fuji International Symposium on Functional and Logic Programming, Garrigue, Jacques, 1971-, Hermenegildo, Manuel

Springer
8 図書 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
3 図書 Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

FLOPS, Kuchen, Herbert R., 1958-, 上田, 和紀(1956-)

Springer
9 図書 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
4 図書 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
10 図書 Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings

Fuji International Symposium on Functional and Logic Programming, Hu, Zhenjiang, 1966-, Rodríguez Artalejo, M. (Mario)

Springer
5 図書 Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings

Fuji International Symposium on Functional and Logic Programming, Middeldorp, Aart, 1963-, 佐藤, 泰介

Springer
11 図書 Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

International Workshop on Logic Program Synthesis and Transformation, Etalle, Sandro

Springer
6 図書 Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings

International Conference on Logic Programming, Stuckey, Peter J.

Springer
12 図書 Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers

International Workshop on Logic Program Synthesis and Transformation, Pettorossi, A. (Alberto), 1947-

Springer