Laboratoire Méthodes Formelles (LMF)
… Systems Extensional proofs in a propositional logic modulo isomorphisms Gilles Dowek 25/10/2023 Theoretical … Proceedings in Informatics, LIPIcs Lien vers le site web du labo https://lmf.cnrs.fr Description L'IPSIT (Ingénierie et Plateformes au Service de l'Innovation Thérapeutique) est une Unité Mixte de Service (UMS) qui …Article publié le: mer 20/09/2023 - 07:25