Logic based program synthesis and transformation : 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers

Logic based program synthesis and transformation : 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers

Maurice Bruynooghe (ed.)

Berlin ; Tokyo : Springer, c2004

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.08-L49-3018

10004008503

一般図書

2

007.08-L49-3018

10004017837

一般図書

詳細情報

刊年

2004

形態

x, 232 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 3018

注記

Includes bibliographical references and index

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Bruynooghe, Maurice

International Workshop on Logic Program Synthesis and Transformation [ LOPSTR ] [ Workshop on Logic Program Synthesis and Transformation, International ] [ International Workshop on Logic-based Program Synthesis and Transformation ] [ International Workshop on Program Developmet in Computational Logic ]

ISBN

3540221743

NCID

BA68005961