ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス My Library ▼
    • 利用状況一覧
    • ブックマーク
    • お気に入り検索
    • 新着アラート
    • ILL複写依頼
    • ILL貸借依頼
    • 新規購入依頼

専修大学図書館

前の画面へ戻る

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). <BB00256539>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌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). <BB00256539>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

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

No. 所蔵館 配置場所 文庫名 請求記号 巻号 年月次 資料ID 状態 返却予定日 予約
0001 本館 2Fイエロー区画 /007/L49/3049 205116734 配架済 0件
No. 0001
所蔵館 本館
配置場所 2Fイエロー区画
文庫名
請求記号 /007/L49/3049
巻号
年月次
資料ID 205116734
状態 配架済
返却予定日
予約 0件
このページの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 <BB00231501> 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.
NCID BA67920392
本文言語コード 英語
著者標目リンク International Workshop on Program Developmet in Computational Logic <AU00061099>
著者標目リンク Bruynooghe, Maurice <>
著者標目リンク Lau, Kung-Kiu <>
このページのTOPへ
前の画面へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他大学資料確認

    資料を取り寄せる

    • ILL複写依頼(コピー取り寄せ)

    この書誌のQRコード