A Formalized Extension of the Substitution Lemma in Coq.

Maria J. D. Lima Flávio L. C. de Moura

Published in: FROM (2023)

Keyphrases

data sets
multi agent
formal methods
johnson lindenstrauss
database
databases
multimedia
decision trees
face recognition
high quality
object recognition
data analysis
preprocessing
artificial neural networks
description logics