scientific article; zbMATH DE number 7483821
From MaRDI portal
Publication:5037672
zbMath1484.68228MaRDI QIDQ5037672
Alexander Steen, David Fuenmayor
Publication date: 3 March 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automated reasoningproof assistantsabstract argumentationextensional type theorymeta-logical reasoning
Logic in artificial intelligence (68T27) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication:
