Generic Inference: A Unifying Theory for Automated ReasoningeBookGeneric Inference: A Unifying Theory for Automated ReasoningkaryaMarc PoulyPenilaian: 0 dari 5 bintang0 penilaianSimpan Generic Inference: A Unifying Theory for Automated Reasoning untuk nanti