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
1
by Manna, Zohar,, Waldinger, Richard,
Published 1977
Book
2
by Manna, Zohar.
Published 1977
Other Authors: ...Waldinger, Richard....
Book
3
by Manna, Zohar.
Published 1985
Other Authors: ...Waldinger, Richard....
Book
Search Tools: Get RSS Feed Email this Search