| NCID | BA00215270 |
| タイトル | 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann |
| 出版者 | Berlin ; Tokyo : Springer-Verlag , c1986 |
| 形態 | ix, 708 p. ; 25 cm |
| 別書名 | Eighth International Conference on Automated Deduction
CADE-8
|
| シリーズ名 | Lecture notes in computer science ; 230
|
| 分類 | LCC:QA76.9.A96
DC19:511.3
NDC8:410.96 |
| 件名 | LCSH:Automatictheoremproving -- Congresses
LCSH:Logic,Symbolicandmathematical -- Congresses
NDLSH:記号論理学
|
| 著者情報 | International Conference on Automated Deduction
Siekmann, Jörg H., 1941-
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | ドイツ = ドイツ連邦共和国 |
| ISBN | 3540167803(: gw)
0387167803(: us)
|
| 番号 | LCCN : 86017726 |