Thumbnail
Access Restriction
Open

Author Gonthier, Georges ♦ Mahboubi, Assia ♦ Rideau, Laurence ♦ Tassi, Enrico ♦ Théry, Laurent
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword First Milestone ♦ Modular Formalisation ♦ Feit-thompson Theorem ♦ Special Care ♦ Finite Group Theory ♦ Compositional Way ♦ Long-term Effort ♦ Initial Base ♦ Elementary Group Theory
Description In TPHOLs
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 2007-01-01