Logic, algebra, and databases

QRコード(所蔵情報)

フォーマット:: 図書
責任表示:: 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.)
9780470202593 [0470202599] (Halsted, stud. ed.)
9780853127093 [0853127093] (Ellis Horwood, lib. ed.)
9780853128038 [0853128030] (Ellis Horwood, stud. ed.)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Algebra; Data base management; Electronic digital computers--Programming; Logic, Symbolic and mathematical; Prolog (Computer program language)
分類・件名:	LCC : QA76.9.D3 DDC : 001.64/2 LCSH : Data base management LCSH : Prolog (Computer program language) LCSH : Electronic digital computers -- Programming LCSH : Algebra LCSH : Logic, Symbolic and mathematical
LCCN:	84012854
注記:	Bibliography: p. [282]-288 Includes index
登録日:	2000-01-18

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Eleven papers on logic, algebra, analysis and topology Budak, B. M. (Boris Mikhaĭlovich) American Mathematical Society	7 図書 Logic with prolog Gibbins, Peter Clarendon Press, Oxford University Press
2 図書 Twelve papers on logic and algebra Felʹdman, N. I. American Mathematical Society	8 図書 Classical database systems Ullman, Jeffrey D., 1942- Computer Science Press
3 図書 An algebraic introduction to mathematical logic Barnes, D. W. (Donald W.), 1935-, Mack, J. M. Springer-Verlag	9 図書 Algebra : a first course Baley, John D., Holstege, Martin, Hughes, Gale M. Wadsworth Pub. Co.
4 図書 First-order dynamic logic Harel, David, 1950- Springer-Verlag	10 図書 Advanced database systems : 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992 : proceedings British National Conference on Databases, Gray, Peter M. D., 1940-, Lucas, Robert, 1954- Springer-Verlag
5 図書 Logic for problem solving Kowalski, Robert Elsevier North Holland	11 図書 A radical approach to algebra Gray, Mary W., 1938- Addison-Wesley Pub. Co
6 図書 Temporal logic of programs Kröger, Fred, 1945- Springer-Verlag	12 図書 Algebra Cohn, P. M. (Paul Moritz) J. Wiley