Constraint solving over multi-valued logics application to digital circuits /
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| フォーマット: | 学位論文 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Amsterdam ; Oxford :
IOS Press,
c2003.
|
| シリーズ: | Frontiers in artificial intelligence and applications ;
v. 91. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| 主題: | |
| オンライン･アクセス: | An electronic book accessible through the World Wide Web; click to view |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
| 物理的記述: | xviii, 204 p. : ill. |
|---|---|
| 書誌: | Includes bibliographical references and index. |
| ISSN: | 0922-6389 ; |