| NCID | BA19860493 |
| タイトル | Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 / edited by Z. Shi |
| 出版者 | Amsterdam ; New York : North-Holland , 1992 |
| 形態 | xi, 341 p. : ill. ; 23 cm |
| 注記 | Includes bibliographical references |
| シリーズ名 | IFIP transactions ; A[Computer science and technology ; 19]
|
| 分類 | LCC:QA76.9.A96
DC20:006.3 |
| 件名 | LCSH:Automatictheoremproving -- Congresses
LCSH:Artificialintelligence -- Congresses
|
| 著者情報 | IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning
Shi, Zhongzhi
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | オランダ |
| ISBN | 044489876X
|
| 番号 | LCCN : 92044401 |