>> Google Books
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>
書誌ID:
BA23996309
ISBN:
9783540587927 [3540587926]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio …

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

Springer
7 図書 Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

LPAR, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
2 図書 Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

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

Springer-Verlag
8 図書 Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings

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

Springer-Verlag
3 図書 Meta-logics and logic programming

Apt, Krzysztof R., 1949-, Turini, Franco, 1949-

MIT Press
9 図書 Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings

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

Springer-Verlag
4 図書 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

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

Springer-Verlag
10 図書 Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings

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

Springer-Verlag
5 図書 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
11 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings

LPAR, Pfenning, Frank

Springer-Verlag
6 図書 Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings

International Workshop on Extensions of Logic Programming, Dyckhoff, Roy, 1948-

Springer-Verlag
12 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings

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

Springer-Verlag