Subjects: Keywords: Automated theorem proving; First order logic; First-order formMerida Venezuela
Record details