Twenty-One* Pseudo-Chrysostoms and more: authorship verification in the patristic world.

Thibault Clérice Anthony Glaise

Published in: CHR (2023)

Keyphrases

model checking
email
formal verification
physical world
databases
machine learning
verification method
three dimensional
database systems
feature extraction
face verification
formal methods
formal analysis