Introduction to logic programming /

Introduction to logic programming /

Бусад хувилбаруудыг харуулах (1)

57

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	240289 Hogger, Christopher John
Формат:
Хэвлэсэн:	London : Academic Press, 1984
Нөхцлүүд:	Electronic digital computers Logic, Symbolic and mathematical

Ижил төстэй зүйлс

Introduction to logic programming /
-н: 240289 Hogger, Christopher John
Хэвлэсэн: (1984)

Introduction to digital logic design /
-н: 319725 Hayes, John P.
Хэвлэсэн: (1993)

The logic design of transistor digital computers/
-н: Maley, Gerald A, зэрэг
Хэвлэсэн: (1963)

Temporal logics and their applications /
-н: Galton, Anthony
Хэвлэсэн: (1987)

The logic of programming /
-н: 395286 Hehner, Eric C. R.
Хэвлэсэн: (1984)

Introduction to logic /
-н: 299767 Copi, Irving M., зэрэг
Хэвлэсэн: (1998)

Introduction to logic /
-н: Suppes, Patrick, 1922-
Хэвлэсэн: (1957)

Introduction to mathematical logic /
-н: 341948 Mendelson, Elliott
Хэвлэсэн: (1964)

Introduction to mathematical logic /
-н: 341948 Mendelson, Elliott
Хэвлэсэн: (1979)

Introduction to mathematical logic /
Хэвлэсэн: (2012)

Introduction to mathematical logic /
-н: 341948 Mendelson, Elliott
Хэвлэсэн: (c201)

Introduction to mathematical logic /
-н: 341948 Mendelson, Elliott
Хэвлэсэн: (1997)

Introduction to symbolic logic /
-н: 389591 Basson, A. H., зэрэг
Хэвлэсэн: (1957)

Introduction to mathematical logic /
-н: 411257 Church, Alonzo
Хэвлэсэн: (1956)

Introduction to symbolic logic /
-н: 386873 Smith, Karl J.
Хэвлэсэн: (1991)

An introduction to symbolic logic /
-н: 200716 Langer, Susanne Katherina
Хэвлэсэн: (1967)

Introduction to symbolic logic /
-н: 197411 Pullum, Laura L.
Хэвлэсэн: (1969)

Introduction to symbolic logic /
-н: 386873 Smith, Karl J.
Хэвлэсэн: (1974)

The logical basis for computer programming /
-н: 179321 Manna, Zohar, зэрэг
Хэвлэсэн: (1985)

An algebraic introduction to mathematical logic /
-н: 390016 Barnes, Donald W., зэрэг
Хэвлэсэн: (1975)

Mathematics and logic for digital devices /
-н: 340314 Culberston, James Thomas
Хэвлэсэн: (1958)

A mathematical introduction to logic /
-н: 461543 Enderton, Herbert B.
Хэвлэсэн: (1972)

Introduction to elementary mathematical logic /
-н: 346837 Stolyar, Abram Aronovich
Хэвлэсэн: (1970)

Logic for problem solving /
-н: 226060 Kowalski, Robert
Хэвлэсэн: (1979)

Introduction to mathematical logic : set theory computable functions model theory /
-н: Malitz, J
Хэвлэсэн: (1979)

Logic and structured design for computer programmers /
-н: 405314 Rood, Harold J.
Хэвлэсэн: (1992)

Logic and structured design for computer programmers /
-н: 405314 Rood, Harold J.
Хэвлэсэн: (1985)

A course in mathematical logic /
-н: 336600 Bell, John Lane, зэрэг
Хэвлэсэн: (1977)

Logic /
-н: 344312 Earle, Nick
Хэвлэсэн: (1973)

Logic of mathematics : a modern course of classical logic /
-н: 454206 Adamowicz, Zofia, зэрэг
Хэвлэсэн: (1997)

Combinatory logic /
-н: 351193 Curry, Haskell Brooks, зэрэг
Хэвлэсэн: (1974)

Symbolic logic /
-н: 372615 Jacquette, Dale
Хэвлэсэн: (2001)

Mathematical logic /
-н: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), зэрэг
Хэвлэсэн: (1978)

Mathematical logic /
-н: Goodstein, R. L. (Reuben Louis)
Хэвлэсэн: (1957)

Mathematical logic /
-н: 344925 Monk, James Donald
Хэвлэсэн: (1976)

Logic and structure /
-н: Dalen, D. van (Dirk), 1932-
Хэвлэсэн: (2004)

Mathematical logic /
-н: 307997 Shoenfield, Joseph Robert
Хэвлэсэн: (1967)

Logic : proof
-н: Open University. Mathematics Foundation Course Team
Хэвлэсэн: (1971)

Mathematical logic /
-н: 365617 Quine, Willard Van Orman
Хэвлэсэн: (1951)

Logic for mathematicians /
-н: 263948 Hamilton, Alan G.
Хэвлэсэн: (1978)