Formal techniques in artificial intelligence : a sourcebook
- 種類:
- 図書
- 責任表示:
- edited by Ranan B. Banerji
- 出版情報:
- Amsterdam ; Tokyo : North-Holland
New York, N.Y., U.S.A. : Distributors for the United States and Canada, Elsevier Science Pub. Co., 1990 - 著者名:
- Banerji, Ranan B., 1928- <DA00999100>
- シリーズ名:
- Studies in computer science and artificial intelligence ; 6 <BA0006969X>
- ISBN:
- 9780444881304 [0444881301]
- 注記:
- Includes bibliographical references and index
類似資料:
North Oxford |
Springer-Verlag |
Abacus Press | |
Edinburgh University Press |
MIT Press |
Pitman, Morgan Kaufmann |
Springer-Verlag |
E. Horwood, Halsted Press |
World Scientific |
North-Holland |
Springer-Verlag |