Search Results - "logicism"

Suggested Topics within your search.
Refine Results
  1. 701
    Neural network and fuzzy logic applications in C/C++

    Neural network and fuzzy logic applications in C/C++ by Welstead, Stephen T. 1951-

    Published 1994
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 702
    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:
  3. 703
    Digital system design using programmable logic devices

    Digital system design using programmable logic devices by Lala, Parag K.

    Published 1990
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 704
    Computational aspects of an order-sorted logic with term declarations

    Computational aspects of an order-sorted logic with term declarations by Schmidt-Schauss, M. Manfred

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

    Save to List
    Saved in:
  5. 705
    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:
  6. 706
    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:
  7. 707
    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:
  8. 708
    Theoretical advances and applications of fuzzy logic and soft computing

    Theoretical advances and applications of fuzzy logic and soft computing

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

    Save to List
    Saved in:
  9. 709
    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:
  10. 710
    An introduction to practical formal methods using temporal logic

    An introduction to practical formal methods using temporal logic by Fisher, Michael 1962-

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

    Save to List
    Saved in:
  11. 711
    Fundamentals of digital logic design : with VLSI circuit applications

    Fundamentals of digital logic design : with VLSI circuit applications by Pucknell, Douglas A. 1927-

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

    Save to List
    Saved in:
  12. 712
    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:
  13. 713
    From natural language processing to logic for expert systems a logic based approach to artificial intelligence

    From natural language processing to logic for expert systems a logic based approach to artificial intelligence

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

    Save to List
    Saved in:
  14. 714
    Neural network and fuzzy logic applications in C/C++

    Neural network and fuzzy logic applications in C/C++ by Welstead, Stephen T. 1951-

    Published 1994
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  15. 715
    DIGITAL DESIGN

    DIGITAL DESIGN by Mano, M. Morris 1927-

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

    Save to List
    Saved in:
  16. 716
    Digital design M. Morris Mano

    Digital design M. Morris Mano by Mano, M. Morris 1927-

    Published 2002
    Subjects: “…Logic design Circuits…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  17. 717
    Digital design

    Digital design by Mano, M. Morris 1927-

    Published 2007
    Subjects: “…Logic design…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  18. 718
    Digital design with standard MSI and LSI design techniques for the microcomputer age

    Digital design with standard MSI and LSI design techniques for the microcomputer age by Blakeslee, Thomas R. 1937-

    Published 1979
    Subjects: “…Logic circuits…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  19. 719
    Thought experiments

    Thought experiments by Sorensen, Roy A

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

    Save to List
    Saved in:
  20. 720
    Pengantar logik

    Pengantar logik by Hamidah, Abdulhamid 1954-

    Published 1991
    Subjects: “…Logic, symbolic and mathematical Study and teaching…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: