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

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers / Annalisa Bossi (ed.)

資料種別:
図書
出版情報:
Berlin : Springer, c2000
形態:
viii, 312 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1817 <BA00009279>
著者名:
ISBN:
9783540676287 [3540676287]
書誌ID:
BA47210113
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

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, Leuschel, Michael

Springer

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

Springer

International Workshop on Logic-Based Program Synthesis and Transformation, Flener, Pierre, 1964-

Springer

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

Springer

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

Springer-Verlag

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

Springer

NMELP, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947-

Springer

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

Springer-Verlag

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