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

Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers / Sandro Etalle (ed.)

資料種別:
図書
出版情報:
Berlin : Springer, c2005
形態:
viii, 277 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 3573 <BA00009279>
著者名:
ISBN:
9783540266556 [3540266550]
書誌ID:
BA72649505
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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

Springer

Bruynooghe, Maurice, International Workshop on Logic Program Synthesis and Transformation

Springer

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

Springer

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

Springer

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

Springer

International Workshop on Logic Program Synthesis and Transformation, Proietti, Maurizio, 1959-

Springer

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

Springer

International Workshop on Logic Program Synthesis and Transformation, Leuschel, Michael

Springer

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

Springer-Verlag

International Conference on Logic Programming, Etalle, Sandro, Truszczyński, Mirosław

Springer

LOPSTR 2004, Etalle, Sandro, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

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