Maurice Bruynooghe, Kung-Kiu Lau (eds.)
Berlin ; Tokyo : Springer, c2004
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
007.08-L49-3049
|
10004008505 |
一般図書 |
|
|
|
|
2004
viii, 538 p. : ill. ; 24 cm
Includes bibliographical references and index
"The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational logic, and hence the title of this volume."--Pref.
ドイツ＝ドイツ連邦共和国
英語 (eng)
英語 (eng)
International Workshop on Program Developmet in Computational Logic [ International Workshop on Logic Program Synthesis and Transformation ]
3540221522
BA67920392
