Foreword to the Special Issue on Automated Reasoning

DOI10.3233/AIC-180765zbMATH Open1462.68002WikidataQ129921304 ScholiaQ129921304MaRDI QIDQ5145433

Author name not available (Why is that?)

Publication date: 20 January 2021

Published in: AI Communications (Search for Journal in Brave)

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Title not available (Why is that?)

This page was built for publication: Foreword to the Special Issue on Automated Reasoning

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