Ann Rubin

According to our database, Ann Rubin authored at least 1 paper in 1971.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1971

An interactive system for proving theorems in the predicate calculus.

Jacques Cohen, Ann Rubin

Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, 1971