Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers / Sandro Etalle (ed.)

資料種別:

図書

出版情報:

Berlin : Springer, c2005

形態:

viii, 277 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 3573 <BA00009279>

著者名:

ISBN:

9783540266556 [3540266550]

書誌ID:

BA72649505

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Logic programming--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

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-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers Falaschi Springer eBooks Computer Science, Springer International Publishing
2 図書 Logic based program synthesis and transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers International Workshop on Logic Program Synthesis and Transformation, Hill, Patricia M. Springer	8 電子ブック Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers Falaschi SpringerLink Books - AutoHoldings, Springer International Publishing
3 図書 Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers International Workshop on Logic Program Synthesis and Transformation, Lau, K.-K. (Kung-Kiu), 1953- Springer	9 図書 Logic program synthesis and transformation : 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings International Workshop on Logic Program Synthesis and Transformation, Fuchs, N. E. (Norbert E.) Springer
4 図書 Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers International Workshop on Logic Program Synthesis and Transformation, Pettorossi, A. (Alberto), 1947- Springer	10 図書 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
5 図書 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-, … Springer-Verlag	11 図書 Logic based program synthesis and transformation : 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers Bruynooghe, Maurice, International Workshop on Logic Program Synthesis and Transformation Springer
6 図書 Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers ILP, Muggleton, Stephen Springer	12 図書 Logic programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings International Conference on Logic Programming, Etalle, Sandro, Truszczyński, Mirosław Springer

1

2

3

4

5

6

7

8

9

10

11

12