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 |