Preface for the special issue devoted to AISC 2014

DOI10.1007/S10472-017-9548-8MaRDI QIDQ2398265zbMATH OpenOpenAlexFDO

Authors

Publication date 15 August 2017

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-017-9548-8

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Preface to the special issue: ISAIM 2016
• Preface of the special issue
• Preface (to the special issue)
• Preface to the special issue
• scientific article; zbMATH DE number 7342955
• Preface to the special issue
• Preface to the special issue, CMAM 2011, no. 3.
• Preface to the special issue
• Preface to the special issue
• Preface special issue ICIAM 2019

Cited in

(4)

• 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 integration of symbolic computation and mechanized reasoning. Marseille, France, July 1--5, 2002. Proceedings
• Foreword to special issue for ISAIM 2018
• Preface. Special issue of selected extended papers of IJCAR 2014
• Foreword

This page was built for publication: Preface for the special issue devoted to AISC 2014

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2398265)