>> Google Books

Logic, algebra, and databases

フォーマット:
図書
責任表示:
Peter M.D. Gray
言語:
英語
出版情報:
Chichester, West Sussex, England : E. Horwood
New York : Distributor, Halsted Press, 1984
形態:
294 p. : ill. ; 25 cm
著者名:
Gray, Peter M. D., 1940- <DA00509405>  
シリーズ名:
Ellis Horwood series in computers and their applications ; 29 <BA00004049>
書誌ID:
BA00249385
ISBN:
9780470201039 [0470201037] (Halsted, lib. ed.)  CiNii Books  Webcat Plus  Google Books
9780470202593 [0470202599] (Halsted, stud. ed.)  CiNii Books  Webcat Plus  Google Books
9780853127093 [0853127093] (Ellis Horwood, lib. ed.)  CiNii Books  Webcat Plus  Google Books
9780853128038 [0853128030] (Ellis Horwood, stud. ed.)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

Gabbay, Dov M., 1945-, Hodkinson, Ian, Reynolds, Mark (Mark A.), Finger, Marcelo

Clarendon Press, Oxford University Press

Kröger, Fred, 1945-

Springer-Verlag

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

Springer-Verlag

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag

Barnes, D. W. (Donald W.), 1935-, Mack, J. M.

Springer-Verlag

Pitts, A. M, Dybjer, Peter

Cambridge University Press

Flach, Peter, 1956-

Wiley

Ceri, Stefano, 1955-, Gottlob, G., Tanca, L.

Springer-Verlag

Harel, David, 1950-

Springer-Verlag

Yannakoudakis, E. J., 1950-

Springer-Verlag

Kowalski, Robert

Elsevier North Holland

Ullman, Jeffrey D., 1942-

Computer Science Press