Preface: Special issue of selected extended papers of CADE-23

DOI10.1007/S10817-013-9282-9zbMATH Open1314.00093OpenAlexW2043540732MaRDI QIDQ2351152

Author name not available (Why is that?)

Publication date: 23 June 2015

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-013-9282-9

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mechanization of proofs and logical operations (03B35)

Recommendations

• Preface of STACS 2013 special issue 👍 👎
• Preface of the special issue on the conference on computer-aided verification 2018 👍 👎
• Preface: Special issue of selected extended papers of CADE 2019 👍 👎
• Preface of the special issue on the conference on formal methods in computer aided design 2018 👍 👎
• Preface special issue ICIAM 2019 👍 👎
• Preface: Special issue on WADS 2017 👍 👎
• Preface: Selected extended papers of CADE 2015 👍 👎
• Preface. Special issue of selected extended papers of IJCAR 2014 👍 👎
• Preface to special issue: ICTAC 2015 👍 👎
• Preface (to the special issue) 👍 👎

This page was built for publication: Preface: Special issue of selected extended papers of CADE-23

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