2nd International Workshop on Complexity in Automated Deduction (CiAD) − Foreword
Georg Gottlob‚ Miki Hermann and Michaël Rusinowitch
Details
| Journal |
Theory Comput. Syst. |
| Number |
6 |
| Pages |
639−640 |
| Volume |
37 |
| Year |
2004 |
Links
DOI (http://dx.doi.org/10.1007/s00224-004-3706-1)
Related pages
|
People |