scientific article; zbMATH DE number 7317244
From MaRDI portal
Publication:4964708
zbMath1457.68299arXiv1103.3320MaRDI QIDQ4964708
Enrico Tassi, Claudio Sacerdoti Coen
Publication date: 3 March 2021
Full work available at URL: https://arxiv.org/abs/1103.3320
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (2)
Theory Presentation Combinators ⋮ Implementing type theory in higher order constraint logic programming
This page was built for publication:
