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

Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / Laurent Fribourg, Franco Turini (Eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1994
形態:
ix, 450 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 883 <BA00009279>
著者名:
ISBN:
9783540587927 [3540587926]
書誌ID:
BA23996309
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer

International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario)

Springer-Verlag

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

Springer

International Workshop, META, Pettorossi, A. (Alberto), 1947-

Springer-Verlag

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

Springer

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

Springer

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

Springer

International Symposium, PLILP, Hermenegildo, Manuel, Penjam, Jaan, 1955-

Springer-Verlag

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

Springer

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

Springer

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