Computational logic : Advanced study institute : Jul 1997, Marktoberdorf, Germany.

• 資料種別: 図書
• ISBN: 3540645896
• タイトル: Computational logic : Advanced study institute : Jul 1997, Marktoberdorf, Germany.
• シリーズタイトル: NATO ASI Series Series F ; 165
• 著者標目: North Atlantic Treaty Organization.
• 出版事項: Springer
• 出版年月日等: 1999.
• 出版年（W3CDTF）: 1999
• 数量: v.
• 並列タイトル等: Held as Summer School; computational logic ; NATO
• NDLC: M17; MA
• 一般注記: Papers.; Held as Summer School.; Index term: computational logic ; NATO.; BL shelfmark: 6033.6488 vol 165 1999.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-00-0083
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003509881; http://id.ndl.go.jp/bib/000003509881
• UKMARC番号: G05785323
• 整理区分コード: 215