Search results for: Hélène Kirchner
Lecture Notes in Computer Science > Automated Deduction – CADE-19 > Session 10: Invited Talk > 297-316
Journal of Automated Reasoning > 2002 > 29 > 3-4 > 309-336
Lecture Notes in Computer Science > Automated Deduction – CADE-19 > Session 10: Invited Talk > 297-316
Journal of Automated Reasoning > 2002 > 29 > 3-4 > 309-336