Search results for: Hicham Bensaid
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 4. System Descriptions > 146-150
Lecture Notes in Computer Science > Automated Reasoning > Arithmetic > 369-383
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to AISC 2010 > 19-33
Journal of Automated Reasoning > 2014 > 53 > 4 > 317-350