Showing 1 - 1 results of 1 for search 'Rusinowitch, M', query time: 0.02s Refine Results
  1. 1
    2nd International Workshop on Complexity in Automated Deduction (CiAD) − Foreword

    2nd International Workshop on Complexity in Automated Deduction (CiAD) − Foreword by Gottlob, G, Hermann, M, Rusinowitch, M

    Published 2004
    Journal article

Search Tools: