>> Google Books
所蔵情報QRコード

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
形態:
xi, 437 p. ; 25 cm
シリーズ名:
Studies in computer science and artificial intelligence ; 6 <BA0006969X>
著者名:
Banerji, Ranan B., 1928- <DA00999100>  
ISBN:
9780444881304 [0444881301]
書誌ID:
BA10178035
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Banerji, Ranan B., 1928-

North Holland

白井, 良明(1941-), 辻井, 潤一(1949-)

Wiley

Banerji, Ranan B., 1928-

American Elsevier Pub. Co.

Rauch-Hindin, Wendy B., Hindin, Harvey J.

Prentice-Hall

Partridge, D. (Derek), 1945-, Wilks, Yorick, 1939-

Cambridge University Press

International NATO Symposium on Artificial and Human Intelligence, Elithorn, Alick, Banerji, Ranan B., 1928-, North …

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.

Topping, B. H. V., NATO Advanced Study Institute on Optimization and Decision Support Systems in Civil Engineering

Kluwer Academic

Hunt, Earl B.

Academic Press

Sriram, D., Adey, R. A.

Computational Mechanics Publications

Boden, Margaret A., 1936-

Academic Press

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12