序归结相关论文
根据对语文教学的研究，我把中学语文单元教学的基本程序归结为“总领—教读—自读—总结”四个步骤，简称“四步教学法”。 一......
本文给出关于删除策略相容性的几个结果，对相同谓词符号配用锁的子句集，锁归结和删除策略联用完备，对正文字锁大于负文字锁的Ｈｏｒｎ集，正单元......
