>> Amazon.co.jp
このページのQRコード

Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

種類:
図書
責任表示:
Yves Deville, ed
出版情報:
London ; New York : Springer-Verlag, c1994
著者名:
シリーズ名:
Workshops in computing <BA10637121>
ISBN:
9783540198642 [3540198644]  CiNii Books  Calil
9780387198644 [0387198644]  CiNii Books  Calil
注記:
"Published in collaboration with the British Computer Society."
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers

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

Springer
7 図書 Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming

International Conference on Logic Programming, Naish, Lee, 1960-

MIT Press
2 図書 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
8 図書 Logic programming and non-monotonic reasoning : proceedings of the first international workshop

Nerode, Anil, 1932-, Marek, Wiktor, Subrahmanian, V. S., Association for Logic Programming

MIT Press
3 図書 Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : …

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

Springer-Verlag
9 図書 Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings

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

Springer-Verlag
4 図書 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
10 図書 Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings

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

Springer-Verlag
5 図書 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
11 図書 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
6 図書 Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings

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

Springer-Verlag
12 図書 Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings

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

Springer-Verlag