| 出版情報 |
Amsterdam ; Tokyo : Elsevier Science B.V. , c1997 |
| 大きさ |
617 p. ; 23 cm |
| 一般注記 |
Bibliography: p. 603-617
Includes index |
| 著者標目 |
*Rybakov, Vladimir
|
| 件 名 |
LCSH:Logic, Symbolic and mathematical
LCSH:Inference
|
| 分 類 |
NDC9:410.8
|
| 本文言語 |
英語 |
| 書誌ID |
TY00010755 |
| ISBN |
0444895051 |
| NCID |
BA3071559X
|
| 巻冊次 |
ISBN:0444895051
|
