(英)科瓦尔斯基(Kowalski,R.)著;郑守淇译1986 年出版198 页ISBN:15340·103
书名原文:Logicforproblemsolving:著者原题:R.科瓦尔斯基:本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用
韩什元主编2002 年出版261 页ISBN:7562315957
本书共分12章,包括一元、多元函数的极限与连续性,一元、多元函数的微分学与积分学,无穷级数与常微分方程。书后附有各章的自测题与模拟试题。...
吕凤祥主编;鲍曼,濮安山副主编2003 年出版599 页ISBN:7560318894
本书分解题方法和策略以及中学数学专题研究两大部分,共十二章,分别对波利亚的解题观点、解题策略、等式与方程、三角函数等内容进行了讲解。...