CITATION STYLE
Connor, R. O. (1998). Theorem Proving in Higher Order Logics: {TPHOLs} ’98. Theorem Proving in Higher Order Logics: {TPHOLs} ’98, 1479(May).
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley