東海大学蔵書検索

東海大学蔵書検索

前の画面へ戻る

Program development in computational logic : a decade of research advances in logic-based program development

Maurice Bruynooghe, Kung-Kiu Lau (eds.). -- Springer, 2004. -- (Lecture notes in computer science ; 3049). <BB00190718>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

Program development in computational logic : a decade of research advances in logic-based program development

Maurice Bruynooghe, Kung-Kiu Lau (eds.). -- Springer, 2004. -- (Lecture notes in computer science ; 3049). <BB00190718>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 WEB書棚
0001 12号館 開架室 549.92/L/3049 0010012131709 配架済
No. 0001
巻号
所蔵館 12号館
配置場所 開架室
請求記号 549.92/L/3049
資料ID 0010012131709
状態 配架済
返却予定日
WEB書棚
このページのTOPへ
このページのTOPへ

書誌詳細

標題および責任表示 Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.)
出版・頒布事項 Berlin ; Tokyo : Springer , c2004
形態事項 viii, 538 p. : ill. ; 24 cm
巻号情報
ISBN 3540221522
書誌構造リンク Lecture notes in computer science <TY10000225> 3049//a
注記 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.
学情ID BA67920392
本文言語コード 英語
著者標目リンク International Workshop on Program Developmet in Computational Logic <AU00127172>
著者標目リンク Bruynooghe, Maurice <>
著者標目リンク Lau, Kung-Kiu <>
ローカル分類標目 NDC:549.92
ローカル分類標目 NDC9:007
レコードID BB00190718
このページのTOPへ
前の画面へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    この書誌のQRコード