Search by Bookstore
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Title Transcription
- ジクウカン ヨウソウ ロンリ ニ モトヅク システム キジュツ ゲンゴ ノ セッケイ ト ソノ カイロ ジドウ セッケイ モンダイ ヘ ノ オウヨウ
- Author/Editor
- 原尾, 政輝, 山形大学
- Author Heading
- 著者 : 原尾, 政輝 ハラオ, マサテル ( 00099624 )Authorities
- Publication Date
- 1985-1986
- Publication Date (W3CDTF)
- 1985
- Extent
- 冊
- Subject Heading
- 時空間様相論理 ジクウカンヨウソウロンリ仕様記述言語 シヨウキジユツゲンゴ回路実現言語 カイロジツゲンゲンゴ回路自動合成 カイロジドウゴウセイ導出アルゴリズム ドウシユツアルゴリズム定理証明 テイリシヨウメイ知識表現 チシキヒヨウゲン回路レイアウト カイロレイアウト
- NDLC