A Unified View of Induction Reasoning For First-Order Logic: Sorin StratulatDocumentA Unified View of Induction Reasoning For First-Order Logic: Sorin StratulatAjouté par sorinica10 évaluation0% ont trouvé ce document utileEnregistrer A Unified View of Induction Reasoning For First-Order Logic: Sorin Stratulat pour plus tard