Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers / Alberto Pettorossi (ed.)

資料種別:

図書

出版情報:

Berlin : Springer, c2002

形態:

viii, 265 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2372 <BA00009279>

著者名:

ISBN:

9783540439158 [3540439153]

書誌ID:

BA57749162

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographies and index
主題:	Computer software--Reliability--Congresses; Logic programming--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 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	7 図書 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
2 図書 Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers International Workshop on Logic Program Synthesis and Transformation, Etalle, Sandro Springer	8 図書 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
3 図書 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	9 図書 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
4 図書 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	10 図書 Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers ILP, Muggleton, Stephen Springer
5 図書 Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings International Conference on Logic Programming, Codognet, Philippe Springer	11 電子ブック Logic Based Program Synthesis and Transformation International Workshop on Logic Program Synthesis and Transformation, Pettorossi, Alberto SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 図書 Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings (: gw ; : us) International Workshop, META, Pettorossi, A. (Alberto), 1947- Springer-Verlag	12 電子ブック Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers Proietti Springer eBooks Computer Science, Springer International Publishing

1

2

3

4

5

6

7

8

9

10

11

12