unifica相关论文
郭昭第<审美形态学>将现实美、感觉美和艺术美作为审美形态分别置于人类审美活动的前审美、审美和后审美三个阶段,并对其审美性质......
摘 要：文章提出“三农”问题的实质是现代化过程中农民与其他社会利益主体之间的利益关系。 目前，我国已进入工业反哺农业的时代。......
本文介绍类型化面向对象逻辑语言ＬＫＯ的元级解释技术，主要包括对象约束、状态、方法的继承算法，以及子句解释、类型推理和检查的多种合一......
