scientific article; zbMATH DE number 7178363
From MaRDI portal
Publication:5219928
zbMATH Open1431.03023arXiv1501.06523MaRDI QIDQ5219928FDOQ5219928
Authors: Gilles Dowek 
Publication date: 9 March 2020
Full work available at URL: https://arxiv.org/abs/1501.06523
Title of this publication is not available (Why is that?)
Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5219928)
