2nd International Workshop on Complexity in Automated Deduction (CiAD) − Foreword
Georg Gottlob‚ Miki Hermann and Michaël Rusinowitch
Journal
Theory Comput. Syst.
Number
6
Pages
639−640
Volume
37
Year
2004
Georg Gottlob‚ Miki Hermann and Michaël Rusinowitch