返回首页 联系帮助
更多政治法律数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍
书名原文:Logicforproblemsolving:著者原题:R.科瓦尔斯基:本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用