Eve Longini Cohen

	1982
2		Dale Miller, Eve Longini Cohen, Peter B. Andrews: A Look at TPS. CADE 1982: 50-69
	1977
1		Peter B. Andrews, Eve Longini Cohen: Theorem Proving in Type Theory. IJCAI 1977: 566-566

Coauthor Index

1	Peter B. Andrews	[1] [2]
2	Dale Miller	[2]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page