Instantiation theory : on the foundations of automated deduction
書誌情報:Instantiation theory : on the foundations of automated deduction
書誌詳細
刊年 | 1991 |
形態 | viii, 133 p. : ill. ; 25 cm. |
別書名 | Lecture notes in computer science ; 518. Lecture notes in artificial intelligence
|
シリーズ名 | Lecture notes in computer science.[Lecture notes in artificial intelligence.]
|
注記 | Includes bibliographical references (p. [128]-133). |
出版国 | ドイツ |
標題言語 | 英語 |
本文言語 | 英語 |
著者情報 | Williams, James G.
|
分類 | LCC:QA76.9.A96 DC20:511.3 |
ISBN | 3540543333(Berlin : acid-free paper) 0387543333(New York : acid-free paper)
|
件名 | LCSH:Automatictheoremproving.
|
番号 | LCCN : 91025004 |
|