Generic Inference: A Unifying Theory for Automated Reasoning takbook 9 سال ago Generic Inference: A Unifying Theory for Automated Reasoning Marc Pouly, Juerg Kohlas… جزئیات بیشتر / دانلود