>> Google Books

Formal methods in artificial intelligence

フォーマット:
図書
責任表示:
by J.-P. Delahaye ; translated by J.Howlett ; foreword by Maurice Nivat
言語:
英語
出版情報:
London : North Oxford, c1987
形態:
vii, 205 p. : ill. ; 25 cm
著者名:
Delahaye, Jean-Paul <DA02234691>  
書誌ID:
BA03713161
ISBN:
9780946536184 [094653618X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Formal aspects of artificial intelligence

Narayanan, Ajit, 1952-

Halsted Press, E. Horwood
7 図書 From modal logic to deductive databases : introducing a logic based approach to artificial intelligence

Thayse, André, 1940-, Gochet, Paul

Wiley
2 図書 Formal techniques in artificial intelligence : a sourcebook

Banerji, Ranan B., 1928-

North-Holland, Distributors for the United States and Canada, Elsevier Science Pub. Co.
8 図書 Artificial intelligence and expert systems : case studies in the knowledge domain of archaeology

Gardin, Jean Claude, Ennals, J. R. (John Richard), 1951-, Katzen, May, Guillaume, O.

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

Bourbakis, Nikolaos G.

World Scientific
9 図書 From natural language processing to logic for expert systems : a logic based approach to artificial intelligence

Thayse, André, 1940-, Binot, Jean-Louis

Wiley
4 図書 Expert systems : artificial intelligence in business

Harmon, Paul, 1942-, King, David, 1949-

J. Wiley
10 図書 Artificial intelligence

Rich, Elaine, Knight, Kevin

McGraw-Hill
5 図書 Heuristic reasoning about uncertainty : an artificial intelligence approach

Cohen, Paul R., 1955-

Pitman, Pitman Advanced Pub. Program, Morgan Kaufmann Publishers
11 図書 Artificial intelligence

Winston, Patrick Henry

Addison-Wesley Pub. Co.
6 図書 Programming for artificial intelligence : methods, tools, and applications

Kreutzer, Wolfgang, McKenzie, Bruce, 1953-

Addison-Wesley Pub. Co.
12 図書 Artificial intelligence

Hunt, Earl B.

Academic Press