Introduction to logic programming /

Introduction to logic programming /

Show other versions (1)

57

Bibliographic Details
Main Author:	240289 Hogger, Christopher John
Format:
Published:	London : Academic Press, 1984
Subjects:	Electronic digital computers Logic, Symbolic and mathematical

Similar Items

Introduction to logic programming /
by: 240289 Hogger, Christopher John
Published: (1984)

Introduction to digital logic design /
by: 319725 Hayes, John P.
Published: (1993)

The logic design of transistor digital computers/
by: Maley, Gerald A, et al.
Published: (1963)

Temporal logics and their applications /
by: Galton, Anthony
Published: (1987)

The logic of programming /
by: 395286 Hehner, Eric C. R.
Published: (1984)

The logical basis for computer programming /
by: 179321 Manna, Zohar, et al.
Published: (1985)

Mathematics and logic for digital devices /
by: 340314 Culberston, James Thomas
Published: (1958)

Introduction to logic /
by: 299767 Copi, Irving M., et al.
Published: (1998)

Introduction to logic /
by: Suppes, Patrick, 1922-
Published: (1957)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1964)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1979)

Introduction to mathematical logic /
Published: (2012)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (c201)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1997)

Introduction to symbolic logic /
by: 389591 Basson, A. H., et al.
Published: (1957)

Introduction to mathematical logic /
by: 411257 Church, Alonzo
Published: (1956)

Introduction to symbolic logic /
by: 386873 Smith, Karl J.
Published: (1991)

An introduction to symbolic logic /
by: 200716 Langer, Susanne Katherina
Published: (1967)

Introduction to symbolic logic /
by: 197411 Pullum, Laura L.
Published: (1969)

Introduction to symbolic logic /
by: 386873 Smith, Karl J.
Published: (1974)

An algebraic introduction to mathematical logic /
by: 390016 Barnes, Donald W., et al.
Published: (1975)

Logic for problem solving /
by: 226060 Kowalski, Robert
Published: (1979)

A mathematical introduction to logic /
by: 461543 Enderton, Herbert B.
Published: (1972)

Introduction to elementary mathematical logic /
by: 346837 Stolyar, Abram Aronovich
Published: (1970)

Logic and structured design for computer programmers /
by: 405314 Rood, Harold J.
Published: (1992)

Logic and structured design for computer programmers /
by: 405314 Rood, Harold J.
Published: (1985)

Introduction to mathematical logic : set theory computable functions model theory /
by: Malitz, J
Published: (1979)

Logics of specification languages /
by: Bjorner, D. (Dines), 1937-, et al.
Published: (2008)

A programming logic : with an introduction to the PL/CV verifier /
by: 422720 Constable, Robert L., et al.
Published: (1978)

Mathematical logic in computer science /
by: Domolki, B., et al.
Published: (1981)

Pengenalan logik digit /
by: 332183 Potton, A., et al.
Published: (1990)

Logic for applications /
by: 464149 Nerode, Anil, et al.
Published: (1997)

Mathematical logic : an introduction to model theory /
by: 314347 Lightstone, A. H., et al.
Published: (1978)

A course in mathematical logic /
by: 336600 Bell, John Lane, et al.
Published: (1977)

Logic /
by: 344312 Earle, Nick
Published: (1973)

Logic of mathematics : a modern course of classical logic /
by: 454206 Adamowicz, Zofia, et al.
Published: (1997)

Proofs and refutations : the logic of mathematical discovery /
by: 339570 Lakatos, Imre, et al.
Published: (1976)

Completeness,compactness, and undercidability : an introduction to mathematical logic /
by: 343792 Manaster, Alfred B.
Published: (1975)

Combinatory logic /
by: 351193 Curry, Haskell Brooks, et al.
Published: (1974)

Symbolic logic /
by: 372615 Jacquette, Dale
Published: (2001)