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

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi (ed.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1992
形態:
xii, 351 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 649 <BA00009279>
著者名:
ISBN:
9780387562827 [0387562826] (: us)
9783540562825 [3540562826] (: gw)
書誌ID:
BA19090636
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer

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

Springer-Verlag

International Workshop on Extensions of Logic Programming, Lamma, E. (Evelina), 1960-, Mello, P. (Paula), 1958-

Springer-Verlag

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

Springer-Verlag

International Symposium, PLILP, Bruynooghe, M. (Maurice), Wirsing, M. (Martin)

Springer-Verlag

CSCLP, European Research Consortium for Informatics and Mathematics, International Workshop on Constraint Solving and …

Springer

International Workshop on Extensions of Logic Programming, Eriksson, L.-H. (Lars-Henrik), 1960-, Hallnäs, Lars, …

Springer-Verlag

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

Springer

Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming

Springer-Verlag

Logic Programming Summer School, Comyn, G. (Gérard), Fuchs, N. E. (Norbert E.), Ratcliffe, M. (Michael)

Springer-Verlag

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

Springer

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