Publication:5219924
From MaRDI portal
zbMath1431.68124MaRDI QIDQ5219924
Geoff Sutcliffe, Stephan Schulz
Publication date: 9 March 2020
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Uses Software