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 - 1 results of 1 for search 'Waldinger, Richard', query time: 0.01s Refine Results
  1. 1
    Logical (the) Basis for Computer Programming
    by Manna,Zohar, Waldinger, Richard
    Published 1985
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search