Search Results - Waldinger, Richard

Richard Waldinger

Richard Jay Waldinger is a computer science researcher at SRI International's Artificial Intelligence Center (where he has worked since 1969) whose interests focus on the application of automated deductive reasoning to problems in software engineering and artificial intelligence. Provided by Wikipedia
  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    The Logical basis for computer programming

    The Logical basis for computer programming by Manna, Zohar

    Published 1990
    Other Authors: “…Waldinger, Richard…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Studies in automatic programming logic

    Studies in automatic programming logic by Manna, Zohar

    Published 1977
    Other Authors: “…Waldinger, Richard…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    The deductive foundations of computer programming

    The deductive foundations of computer programming by Manna, Zohar

    Published 1993
    Other Authors: “…Waldinger, Richard…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    The logical basis for computer programming

    The logical basis for computer programming by Manna, Zohar

    Published 1985
    Other Authors: “…Waldinger, Richard…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: