>> Amazon.co.jp
このページの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
著者名:
Banerji, Ranan B., 1928- <DA00999100>  
シリーズ名:
Studies in computer science and artificial intelligence ; 6 <BA0006969X>
ISBN:
9780444881304 [0444881301]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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

Delahaye, Jean-Paul

North Oxford

Göranzon, Bo, 1941-, Josefson, Ingela, 1943-

Springer-Verlag

Andrew, A. M. (Alexander Miller), 1925-

Abacus Press

Widman, Lawrence Edward, 1950-, Loparo, Kenneth A., Nielsen, N. R. (Norman R.)

Wiley

Findler, N. V. (Nicholas V.), 1930-, Meltzer, Bernard, 1916-, NATO Advanced Study Institute on Artificial Intelligence &hellip;

Edinburgh University Press

Winston, Patrick Henry, Shellard, Sarah Alexandra

MIT Press

Huhns, Michael N., Gasser, Leslie George, 1949-

Pitman, Morgan Kaufmann

Ennals, J. R. (John Richard), 1951-

Springer-Verlag

Steels, Luc, Campbell, John A., 1940-

E. Horwood, Halsted Press

Bourbakis, Nikolaos G.

World Scientific

Kanal, Laveen N., Lemmer, John F., Levitt, Tod S., Shachter, Ross D., Henrion, Max, Bonissone, Piero Patrone

North-Holland

Negrotti, Massimo, 1944-

Springer-Verlag