Generic Inference: A Unifying Theory for Automated ReasoningE-bookGeneric Inference: A Unifying Theory for Automated ReasoningdiMarc PoulyValutazione: 0 su 5 stelle0 valutazioniSalva Generic Inference: A Unifying Theory for Automated Reasoning per dopo