Eve Longini Cohen

According to our database1, Eve Longini Cohen authored at least 2 papers between 1977 and 1982.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1982
A Look at TPS.
Proceedings of the 6th Conference on Automated Deduction, 1982

1977
Theorem Proving in Type Theory.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977


  Loading...