Đang tải…

Mã QR

Logic and databases /

Đã lưu trong:

Chi tiết về thư mục
Tác giả khác:	Gallaire, Herve, Monker, Jack
Định dạng:	Sách
Ngôn ngữ:	Tiếng Anh
Được phát hành:	New York : Plenum, c1978.
Những chủ đề:	Logic, Symbolic and mathematical. Database management
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

Logic, algebra and databases
Bằng: Gray, Peter M. D.
Được phát hành: (1984)

Logic and structure
Bằng: Dalen, D. van (Dirk van), 1932-
Được phát hành: (1980)

Logic and structure
Bằng: Dalen, D. van (Dirk), 1932-
Được phát hành: (1983)

The language of logic /
Bằng: Freudenthal, Hans, 1905-
Được phát hành: (1966)

Logic of mathematics : a modern course of classical logic /
Bằng: Adamowicz, Zofia
Được phát hành: (1997)

Introduction to mathematical logic
Bằng: Mendelson, Elliott
Được phát hành: (1979)

Principles of mathematical logic /
Bằng: Hilbert, D.
Được phát hành: (1990)

Introduction to symbolic logic /
Bằng: Smith, Karl J.
Được phát hành: (1991)

A course in mathematical logic
Bằng: Bell, J. L. (John Lane)
Được phát hành: (1977)

Logic and algorithms : with applications to the computer and information sciences /
Bằng: Korfhage, Robert R.
Được phát hành: (1966)

Math and logic games
Bằng: Agostini, Franco
Được phát hành: (1983)

Sets, logic, and axiomatic theories /
Bằng: Stoll, Robert Roth
Được phát hành: (1961)

Elements of logic and foundations of mathematics in problems /
Bằng: Wiktor, Marek
Được phát hành: (1982)

The logical and set-theoretical foundations of mathematics /
Bằng: Zulauf, Achim
Được phát hành: (1969)

Direct and converse theorems : the elements of symbolic logic /
Bằng: Gradshtein, I. S.
Được phát hành: (1963)

An introduction to mathematical logic and type theory : to truth through proof /
Bằng: Andrews, P. B. (Peter Bruce), 1937-
Được phát hành: (1986)

Logic : a foundation for computer science /
Bằng: Sperschneider, V.
Được phát hành: (1991)

How to read and do proofs an introduction to mathematical thought process
Bằng: Solow, Daniel
Được phát hành: (1982)

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Được phát hành: (1982)

Logic for problem solving
Bằng: Kowalski, Robert
Được phát hành: (1979)

Mathematical thinking /
Bằng: Godwin, D. C.
Được phát hành: (1971)

Computability : computable functions, logic, and the foundations of mathematics /
Bằng: Epstein, Richard L.
Được phát hành: (1989)

Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
Được phát hành: (1986)

Mathematics and plausible reasoning
Bằng: Polya, George, 1887-1985
Được phát hành: (1968)

Introduction to the foundations of mathematics /
Bằng: Wilder, Raymond Louis, 1896-
Được phát hành: (1965)

Equational logic as a programming language
Bằng: O'Donnell, Michael J., 1952-
Được phát hành: (1985)

Fuzzy logic technology and applications I /
Được phát hành: (1994)

A first course in formal logic and its applications in computer science /
Bằng: Dowsing, Roy
Được phát hành: (1986)

Foundations of computing : system development with set theory and logic /
Bằng: Scheurer, Thierry
Được phát hành: (1994)

Tractus logico-philosophicus /
Bằng: Wittgenstein, Ludwig, 1889-1951
Được phát hành: (1961)

Advanced work in English /
Bằng: Parker,C. R. E. (Colin Rodwell Eric)
Được phát hành: (1967)

An introduction to modern mathematics /
Bằng: Monjallon, Albert
Được phát hành: (1967)

Formal methods in artificial intelligence /
Bằng: Ramsay, Allan, 1953-
Được phát hành: (1988)

Database : a primer /
Bằng: Date, C. J.
Được phát hành: (1983)

Database step-by-step
Bằng: Gillenson, Mark L.
Được phát hành: (1985)

The elements of logic /
Bằng: Barker, Stephen Francis
Được phát hành: (1974)

Fundamentals of logic /
Bằng: Carney, James Donald
Được phát hành: (1974)

Electronic logic systems /
Bằng: Almaini, A. E. A., 1945-
Được phát hành: (1986)

The range of epistemic logic
Bằng: Schlesinger, George N.
Được phát hành: (1985)

Managing database : four critical factors /
Bằng: Gorman, Michael M.
Được phát hành: (1984)