NER_Algorithm

包含 1.基于扩展规则的定理证明器ER，2003发表在《Journal of Automating Reasoning》 2.基于扩展规则的定理证明器NER，2009年发表在《计算机研究与发展》

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
README.md		README.md
RandomGeneration.cpp		RandomGeneration.cpp
er.cpp		er.cpp
er.h		er.h
myqueue.cpp		myqueue.cpp
myqueue.h		myqueue.h
utility.cpp		utility.cpp

Provide feedback