>> Google Books

Deduction systems in artificial intelligence

フォーマット:
図書
責任表示:
editors, Karl Hans Bläsius, Hans-Jürgen Bürckert
言語:
英語
出版情報:
Chichester, [England] : Ellis Horwood Limited
New York : Halsted Press, 1989
形態:
238 p. ; 25 cm
著者名:
シリーズ名:
Ellis Horwood series in artificial intelligence <BA00008753>
書誌ID:
BA07549682
ISBN:
9780745804095 [0745804098] (: E. Horwood)  CiNii Books  Webcat Plus  Google Books
9780470215500 [047021550X] (: Halsted Press)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Deduction systems

Socher-Ambrosius, Rolf, Johann, Patricia

Springer
7 図書 Expert systems : artificial intelligence in business

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

J. Wiley
2 図書 Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

Bläsius, Karl Hans, 1952-, Hedtstück, Ulrich, 1951-, Rollinger, Claus-Rainer, 1950-

Springer-Verlag
8 図書 Propositional logic : deduction and algorithms

Kleine Büning, Hans, 1948-, Lettman, Theodor

Cambridge University Press
3 図書 Formal aspects of artificial intelligence

Narayanan, Ajit, 1952-

Halsted Press, E. Horwood
9 図書 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
4 図書 Computers and thought : a practical introduction to artificial intelligence

Sharples, Mike, 1952-

MIT Press
10 図書 Object-oriented programming for artificial intelligence : a guide to tools and system design

Tello, Ernest R.

Addison-Wesley
5 図書 Artificial intelligence : manufacturing theory and practice

Kumara, Soundar, 1952-, Soyster, Allen L., Kashyap, R. L. (Rangasami Laksṁinarayana), 1938-, Institute of Industrial &hellip;

Institute of Industrial Engineers, Industrial Engineering and Management Press
11 図書 Natural and artificial intelligence : processor systems compared to the human brain

Callataÿ, Armand M. de, 1935-

North-Holland
6 図書 Introduction to artificial intelligence and expert systems

Patterson, Dan W., 1930-

Prentice Hall
12 図書 A resolution principle for a logic with restricted quantifiers

Bürckert, Hans-Jürgen

Springer Verlag