Thumbnail
Access Restriction
Open

Author Burel, Guillaume
Source CiteSeerX
Content type Text
Publisher Springer
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Rewrite Rule ♦ New Framework ♦ Po-larized Resolution Modulo ♦ Tra-ditional Ordering Restriction ♦ Main Algorithm ♦ Euclidean Geometry ♦ Preserve Completeness ♦ Interactive Proof Search ♦ State-of-the-art Provers ♦ Strict Subsumption Elimina-tions ♦ Simplification Rule ♦ Polarized Resolution Modulo ♦ In-duces Proof Search Method ♦ Mathematical Proof ♦ Deduction Modulo ♦ Set Theory
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2010-01-01
Publisher Institution CSL. Lecture Notes in Computer Science