Showing 1 - 20 results of 1,331 for search '', query time: 0.14s Refine Results
  1. 1
    Natural language syntax and first order inference /
    by McAllester, David A
    Published 1989

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  2. 2
    Additions to LAP /
    by White, John L.
    Published 1967

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  3. 3
    LAP : LISP assembly program
    Published 1962

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  4. 4
    Symbol manipulating language : the Maling-Silver read program /
    by Maling, K
    Published 1959

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  5. 5
    Proposal for a general learning machine /
    by Raphael, Bertram
    Published 1962

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  6. 6
    Equivalence problems in a model of computation
    by Paterson, Michael S
    Published 1970

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  7. 7
    Hash-coding functions of a complex variable /
    by Hart, Tim
    Published 1964

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 8
    Polynomial-time algorithms for linear programming based only on primal scaling and projected gradients of a potential function /
    by Freund, Robert Michael
    Published 1988

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  9. 9
    Arithmetic in LISP 1.5 /
    by Levin, Michael
    Published 1961

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  10. 10
    Surplus plutonium in Japan and Europe : an avoidable predicament /
    by Berkhout, F (Frans)
    Published 1990

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  11. 11
    A simple direct proof of Post's normal form theorem /
    by Minsky, Marvin, 1927-2016
    Published 1962

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 12
    Generating and generalizing models of visual objects /
    by Connell, Jonathan H
    Published 1985

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  13. 13
    SUBM : a CONVERT program for constructing the subset machine defined by a transition system /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  14. 14
    Stochastic programming models for dedicated portfolio selection /
    by Shapiro, Jeremy F., 1939-
    Published 1986

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  15. 15
    A basis for a mathematical theory of computation / by John McCarthy
    by McCarthy, John
    Published 1962

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  16. 16
    Planner : a language for proving theorems /
    by Hewitt, Carl
    Published 1967

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  17. 17
    Using the Monsanto software /
    by Ruark, John Douglas, 1971-
    Published 1998

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  18. 18
    Model based reasoning of device behavior with causal ordering /
    by Iwasaki, Yumi
    Published 1988

    Book
  19. 19
    An analytic model for request-based job shops /
    by Hollywood, John S., 1973-
    Published 1999

    Book
  20. 20
    A proposal for a geometry theorem proving program /
    by Hart, Tim
    Published 1963

    Book
Search Tools: Get RSS Feed — Email this Search