Login / Signup
A Sound and Complete Validity Test for Formulas in Extensional Multi-level Syllogistic.
Alfredo Ferro
Eugenio G. Omodeo
Published in:
From Computational Logic to Computational Biology (2024)
Keyphrases
</>
data sets
databases
real world
software engineering
logic programs