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 - 2 results of 2 for search 'Waldinger, Richard', query time: 0.02s Refine Results
  1. 1

    Studies in automatic programming logic / by Manna, Zohar, 1939-

    Published 1977
    Other Authors: “…Waldinger, Richard…”
    Book
  2. 2

    The deductive foundations of computer programming / by Manna, Zohar

    Published 1993
    Other Authors: “…Waldinger, Richard…”
    Book