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 |