>> Google Books
所蔵情報QRコード

Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.) / International Workshop on Logic Program Synthesis and Transformation ; Proietti, Maurizio, 1959-

資料種別:
図書
出版情報:
Berlin ; New York ; Tokyo : Springer, c1996
形態:
x, 266 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1048 <BA00009279>
著者名:
ISBN:
9783540609391 [3540609393]
書誌ID:
BA27378582
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 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
7 図書 Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

International Workshop on Logic Program Synthesis and Transformation, Lau, K.-K. (Kung-Kiu), 1953-

Springer
2 電子ブック Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Proietti

Springer eBooks Computer Science, Springer International Publishing
8 図書 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
3 図書 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
9 電子ブック Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Proietti, Seki, Hirohisa

SpringerLink Books - AutoHoldings, Springer International Publishing
4 図書 Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : …

International Workshop on Logic Program Synthesis and Transformation, Fribourg, Laurent, 1957-, Turini, Franco, 1949-, …

Springer-Verlag
10 図書 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
5 図書 Logic program synthesis and transformation : 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings

International Workshop on Logic Program Synthesis and Transformation, Fuchs, N. E. (Norbert E.)

Springer
11 図書 Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings

ILP, Lavrač, Nada, Džeroski, Sašo, 1968-

Springer
6 図書 Logic based program synthesis and transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers

International Workshop on Logic Program Synthesis and Transformation, Hill, Patricia M.

Springer
12 図書 Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings (: gw ; : us)

International Workshop PLILP, Deransart, Pierre, 1945-, Małuszyński, Jan, 1941-

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12