>> Amazon.co.jp
このページのQRコード

Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987

種類:
図書
責任表示:
K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1988
著者名:
シリーズ名:
Lecture notes in computer science ; 315 <BA00009279>
ISBN:
9783540194262 [3540194266] (: gw)  CiNii Books  Calil
9780387194264 [0387194266] (: us)  CiNii Books  Calil
注記:
'Papers presented at the Sixth Logic Programming Conference'--Forward
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988

Logic Programming Conference, 古川, 康一(1942-), 田中, 穂積(1941-), 藤崎, 哲之助

Springer-Verlag
7 図書 Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers

International Workshop on Logic Program Synthesis and Transformation, Bossi, Annalisa, 1948-

Springer
2 図書 Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

Logic Programming Conference, 古川, 康一(1942-), 田中, 穂積(1941-), 藤崎, 哲之助

Springer-Verlag
8 図書 Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

LPAR, Ganzinger, Harald, 1950-, McAllester, David, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
3 電子ブック 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
9 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings

LPAR, Pfenning, Frank

Springer-Verlag
4 電子ブック Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987

Furukawa, Koichi., Tanaka, Hozumi., Fujisaki, Tetsunosuke., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 図書 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, Workshop on &hellip;

Springer-Verlag
5 図書 Inductive logic programming : 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings

Page, David, ILP '98

Springer
11 図書 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
6 図書 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
12 図書 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