Recommendations
Cited in
(5)
This page was built for publication: Some remarks on assertion and proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039092)
Authors Massimiliano Carrara, Daniele Chiffi, Ciro De Florio
Publication date 12 October 2022
This page was built for publication: Some remarks on assertion and proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039092)