>> Amazon.co.jp
このページのQRコード

Formal methods in artificial intelligence

種類:
図書
責任表示:
by J.-P. Delahaye ; translated by J.Howlett ; foreword by Maurice Nivat
出版情報:
London : North Oxford, c1987
著者名:
Delahaye, Jean-Paul <DA02234691>  
ISBN:
9780946536184 [094653618X]  CiNii Books  Calil
注記:
Includes bibliography and index
Translation of: Outils loguques pour l'intelligence artificielle
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Formal techniques in artificial intelligence : a sourcebook

Banerji, Ranan B., 1928-

North-Holland, Distributors for the United States and Canada, Elsevier Science Pub. Co.
7 図書 Progress in artificial intelligence

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

E. Horwood, Halsted Press
2 図書 Artificial intelligence methods and applications

Bourbakis, Nikolaos G.

World Scientific
8 図書 Uncertainty in artificial intelligence

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

North-Holland
3 図書 Problem-solving methods in artificial intelligence

Nilsson, Nils J., 1933-

McGraw-Hill
9 図書 Knowledge, skill and artificial intelligence

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

Springer-Verlag
4 図書 Artificial intelligence

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

Abacus Press
10 図書 Artificial intelligence, simulation, and modeling

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

Wiley
5 図書 Artificial intelligence and heuristic programming

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

Edinburgh University Press
11 図書 Artificial intelligence at MIT : expanding frontiers

Winston, Patrick Henry, Shellard, Sarah Alexandra

MIT Press
6 図書 Distributed artificial intelligence

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

Pitman, Morgan Kaufmann
12 図書 Artificial intelligence and human institutions

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

Springer-Verlag