Login / Signup
Seth Kurtenbach
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Data Mining
Rough Sets
Formal Proofs
Association Rule Mining
Top Venues
Automated Reasoning and Mathematics
</>
Publications
</>
Zachary Ernst
,
Seth Kurtenbach
Toward a Procedure for Data Mining Proofs.
Automated Reasoning and Mathematics
(2013)