Old Web
English
Sign In
Acemap
>
Paper
>
Plagiator : A learning prover
Plagiator : A learning prover
1997
T. Kolbe
J. Brauburger
Keywords:
Reuse
Computer science
Automated theorem proving
Algorithm
Gas meter prover
Discrete mathematics
Calculus
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
8
Citations
NaN
KQI
[]