Constructive methods in computing science : International Summer school : Jul 1988, Marktoberdorf, Germany.

• 資料種別: 図書
• ISBN: 3540513698; 0387513698 (U.S.)
• タイトル: Constructive methods in computing science : International Summer school : Jul 1988, Marktoberdorf, Germany.
• シリーズタイトル: NATO ASI Series Series F ; 55
• 著者標目: North Atlantic Treaty Organization. Scientific Affairs Division.
• 出版事項: Berlin : Springer-Verlag; New York : Springer-Verlag
• 出版年月日等: c1989.
• 出版年（W3CDTF）: 1989
• 数量: v.
• 並列タイトル等: Also known as NATO Advanced Study Institute; computing science ; NATO ; constructive methods
• NDLC: M17; M151
• 一般注記: Papers.; Also known as NATO Advanced Study Institute.; Index term: computing science ; NATO ; constructive methods.; BL shelfmark: 6033.6488 vol 55 1989.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-89-2534
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003476593; http://id.ndl.go.jp/bib/000003476593
• UKMARC番号: G01241502
• 整理区分コード: 215