Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings / John Gallagher (ed.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c1997

形態:

vi, 324 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1207 <BA00009279>

著者名:

ISBN:

9783540627180 [3540627189]

書誌ID:

BA30235539

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

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

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers ILP, Muggleton, Stephen Springer	7 図書 Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings International Workshop on Extensions of Logic Programming, Dyckhoff, Roy, 1948-, Herre, Heinrich, Schroeder-Heister, … Springer-Verlag
2 図書 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	8 図書 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
3 図書 Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings International Conference on Logic Programming, Beaumont, A., 1959-, Gupta, G., 1963- Springer-Verlag	9 図書 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
4 図書 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	10 図書 Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers International Conference on Logic Programming, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947-, Gupta, G., 1963-, … Springer-Verlag
5 図書 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	11 図書 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
6 図書 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	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12