>> 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
フルテキスト
Loading contents information
所蔵情報
Loading availability 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 (: gw)

International Workshop on Extensions of Logic Programming, Dyckhoff, Roy, 1948-, Herre, Heinrich, Schroeder-Heister, …

Springer-Verlag
2 電子ブック Logic-Based Program Synthesis and Transformation

Fioravanti, John P. Gallagher, Gallagher, John P.

SpringerLink Books - AutoHoldings, Springer International Publishing
8 図書 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
3 電子ブック Logic Program Synthesis and Transformation

International Workshop on Logic Program Synthesis and Transformation, Gallagher, John P.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 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
4 図書 Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings (: gw ; : us)

International Conference on Logic Programming, Beaumont, A., 1959-, Gupta, G., 1963-

Springer-Verlag
10 図書 Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers (: gw ; : us)

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 : 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
11 図書 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
6 図書 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
12 図書 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
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12