Interactive theorem proving. Preface of the special issue
From MaRDI portal
Publication:287356
DOI10.1007/s10817-016-9363-7zbMath1336.00112MaRDI QIDQ287356
No author found.
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-016-9363-7
00B15: Collections of articles of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
Uses Software