>> Amazon.co.jp
このページの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
著者名:
シリーズ名:
Lecture notes in computer science ; 1817 <BA00009279>
ISBN:
9783540676287 [3540676287]  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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 Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings

Proietti, Maurizio., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
2 図書 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
8 図書 Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

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

Springer-Verlag
3 図書 Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, …

International Workshop on Logic Program Synthesis and Transformation, Deville, Yves, 1960-, British Computer Society

Springer-Verlag
9 図書 Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : …

International Symposium, PLILP, Hermenegildo, Manuel, Swierstra, S. Doaitse

Springer-Verlag
4 図書 Logic based program synthesis and transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

International Workshop on Logic Program Synthesis and Transformation, Leuschel, Michael

Springer
10 図書 Inductive logic programming : 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings

Page, David, ILP '98

Springer
5 図書 Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers

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

Springer
11 図書 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
6 電子ブック Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Proietti, Maurizio, SpringerLink (Online service)

Springer-Verlag
12 図書 Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987

Logic Programming Conference, 古川, 康一(1942-), 藤崎, 哲之助, 田中, 穂積(1941-)

Springer-Verlag