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

Logic for problem solving / Robert Kowalski

資料種別:
図書
出版情報:
New York : Elsevier North Holland, c1979
形態:
287 p. ; 24 cm
シリーズ名:
Elsevier computer science library ; . Artificial intelligence series ; 7 <BA00115276>
著者名:
Kowalski, Robert <DA0093253X>  
ISBN:
9780444003652 [0444003657]
9780444003683 [0444003681] (: pbk)
書誌ID:
BA00887359
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Harel, David, 1950-

Springer-Verlag

Newell, Allen, Simon, Herbert Alexander, 1916-2001

Prentice-Hall

Gray, Peter M. D., 1940-

E. Horwood, Distributor, Halsted Press

Schoenfeld, Alan H.

Academic Press

Larson, Loren C., 1937-

Springer-Verlag

International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen

Springer-Verlag

DeGroot, Doug, Lindstrom, Gary

Prentice-Hall

Nilsson, Nils J., 1933-

McGraw-Hill

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag

Friedman, Frank L., Koffman, Elliot B.

Addison-Wesley Pub. Co.

Rubinstein, Moshe F., 1930-

Prentice-Hall

Davis, Gary A., 1938-

Basic Books

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