Search Results - "Logic"

Suggested Topics within your search.
Refine Results
  1. 841
    Digital design basic concepts and principles

    Digital design basic concepts and principles by Karim, Mohammad A.

    Published 2008
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 842
    Imperative

    Imperative by Hamblin, C. L. 1922-1985 Charles Leonard

    Published 1987
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 843
    Roads to infinity the mathematics of truth and proof

    Roads to infinity the mathematics of truth and proof by Stillwell, John

    Published 2010
    Subjects: “…Logic, Symbolic and mathematical…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 844
    Paradoxes

    Paradoxes by ook, Roy T. Cook, Roy T. 1972-

    Published 2013
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 845
    An engineering approach to digital design

    An engineering approach to digital design by Fletcher, William I. 1938-

    Published 1980
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 846
    Mathematical theory of program correctness

    Mathematical theory of program correctness by Bakker, J. W. de 1939- Jacobs Willem de

    Published 1980
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 847
    Switching circuits for engineers

    Switching circuits for engineers by Marcus, Mitchell P

    Published 1975
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 848
    Techniques of Prolog programming with implementation of logical negation and quantified goals

    Techniques of Prolog programming with implementation of logical negation and quantified goals by Van Le, T

    Published 1993
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  9. 849
    Journals and debating speeches

    Journals and debating speeches by Mill, John Stuart 1806-1873

    Published 1988
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  10. 850
    The theory of probability an inquiry into the logical and mathematical foundations of the calculus of probability.

    The theory of probability an inquiry into the logical and mathematical foundations of the calculus of probability. by Reichenbach, Hans 1891-1953

    Published 1971
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  11. 851
    DESIGN AND CONSTRUCT A CLAP ACTIVATED SWITCH

    DESIGN AND CONSTRUCT A CLAP ACTIVATED SWITCH by Abdullah Othman

    Subjects:
    Click Here to View Status and Holdings.
    Thesis Book

    Save to List
    Saved in:
  12. 852
    Asas-asas Reka Bentuk Digital

    Asas-asas Reka Bentuk Digital by Breeding, Kenneth J. 1941-, Mazani Manaf, Jamaluddin Mohd Yusof, Md Jamil Abu Sari, Farok Azmat

    Published 2004
    Subjects:
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  13. 853
    A programming logic with an introduction to the PL/CV verifier

    A programming logic with an introduction to the PL/CV verifier by Constable, R. L. Robert L

    Published 1978
    Subjects: “…Logic, Symbolic and mathematical…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  14. 854
    Fuzzy logic in knowledge-based systems, decision and control

    Fuzzy logic in knowledge-based systems, decision and control

    Published 1988
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  15. 855
    A logical theory of nonmonotonic inference and belief change

    A logical theory of nonmonotonic inference and belief change by Bochman, Alexander

    Published 2001
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  16. 856
    Logical, algebraic, analytic, and probabilistic aspects of triangular norms

    Logical, algebraic, analytic, and probabilistic aspects of triangular norms

    Published 2005
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  17. 857
    Logical tools for handling change in agent-based systems

    Logical tools for handling change in agent-based systems by Gabbay, Dov M. 1945-

    Published 2010
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  18. 858
    Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

    Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

    Published 1993
    Subjects: “…Logic, Symbolic and mathematical Congresses…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  19. 859
    Automated analysis of legal texts logic, informatics, law edited versions of selected papers from the Second International Conference on "Logic, Informatics, Law,"Florence, Italy, September 1985

    Automated analysis of legal texts logic, informatics, law edited versions of selected papers from the Second International Conference on "Logic, Informatics, Law,"Florence, Italy, September 1985

    Published 1986
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  20. 860
    Emergence or reduction? essays on the prospects of nonreductive physicalism

    Emergence or reduction? essays on the prospects of nonreductive physicalism

    Published 1992
    Subjects: “…Logical positivism Congresses…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: