Login / Signup
An Expert System for Pi-Calculus and Api-Calculus Automated Reduction.
Shahram Rahimi
John Dillards
Bidyut Gupta
Published in:
Software Engineering Research and Practice (2008)
Keyphrases
</>
source code
knowledge acquisition
fully automated
machine learning
expert knowledge
semi automated
real numbers
proof procedure
automated deduction
natural deduction
provably correct
computer algebra