Pages that link to "Item:Q2398265"
From MaRDI portal
The following pages link to Preface for the special issue devoted to AISC 2014 (Q2398265):
Displaying 4 items.
- Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integr (Q1613677) (← links)
- Foreword to special issue for ISAIM 2018 (Q2202507) (← links)
- Preface. Special issue of selected extended papers of IJCAR 2014 (Q2362488) (← links)
- Foreword (Q5965778) (← links)