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

Deductive reasoning / Zohar Manna, Richard Waldinger

資料種別:
図書
出版情報:
Reading, Mass. : Tokyo : Addison-Wesley, c1985
形態:
xii, 618 p. ; 25 cm
シリーズ名:
Addison-Wesley series in computer science ; . The logical basis for computer programming ; v. 1 <BA00040213>
著者名:
ISBN:
9780201182606 [0201182602]
書誌ID:
BA08001259
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Manna, Zohar, Waldinger, Richard

Addison-Wesley

DeGroot, Doug, Lindstrom, Gary

Prentice-Hall

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag

Gray, Peter M. D., 1940-

E. Horwood, Distributor, Halsted Press

Manna, Zohar, Waldinger, Richard

North-Holland

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

Springer-Verlag

Manna, Zohar

McGraw-Hill

Kowalski, Robert

Elsevier North Holland

Kalish, Donald, Montague, Richard, 1930-1971

Harcourt, Brace & World

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press

Harel, David, 1950-

Springer-Verlag

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