全文获取类型
收费全文 | 176篇 |
免费 | 13篇 |
国内免费 | 15篇 |
出版年
2023年 | 6篇 |
2022年 | 2篇 |
2021年 | 4篇 |
2020年 | 2篇 |
2019年 | 2篇 |
2018年 | 6篇 |
2017年 | 2篇 |
2016年 | 2篇 |
2015年 | 4篇 |
2014年 | 12篇 |
2013年 | 6篇 |
2012年 | 8篇 |
2011年 | 11篇 |
2010年 | 10篇 |
2009年 | 3篇 |
2008年 | 7篇 |
2007年 | 10篇 |
2006年 | 13篇 |
2005年 | 13篇 |
2004年 | 10篇 |
2003年 | 8篇 |
2002年 | 14篇 |
2001年 | 4篇 |
2000年 | 5篇 |
1999年 | 4篇 |
1997年 | 2篇 |
1996年 | 1篇 |
1995年 | 1篇 |
1994年 | 2篇 |
1993年 | 5篇 |
1992年 | 3篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 2篇 |
1987年 | 1篇 |
1986年 | 3篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 3篇 |
1982年 | 2篇 |
1981年 | 1篇 |
1979年 | 1篇 |
排序方式: 共有204条查询结果,搜索用时 15 毫秒
171.
洪加威(北京市计算中心研究员,现在美国卡内基梅隆大学短期工作)于一九八○年十月在美国纽约市召开的计算机科学基础第二十一届国际讨论会上宣读了《计算的相似性与对偶性》一文,受到了与会的科学家们的高度评价。著名的美国计算机科学家卡普(R.M.Karp)认为洪加威的研究成果“可列为计算复杂性理论迄今所得到的最杰出的工作。”洪加威提出了计算模型之间的相似性和计算时间与存贮空间之间的对偶性这样两个 相似文献
172.
173.
174.
关于形式化的几个问题 总被引:5,自引:0,他引:5
一、导言形式化问题是逻辑学、数学以及有的技术科学中的中心问题之一。这些科学中广泛地应用了形式化方法(或者说“形式方法”)。而关于究竟什么是形式化,有些概念有待于澄清。例如形式化与严格化、形式化与公理化、形式结构与解释等等。其次近代数理逻 相似文献
175.
176.
177.
178.
伴随“晚婚与不婚”“低生育率危机”的热议,女性择偶偏好问题受到关注。本研究采用问卷法和实验法,考察父亲在位对女儿择偶偏好的影响及母亲态度的调节作用。结果:(1)父亲在位会影响女儿择偶偏好,父亲在位水平越高,女儿越偏好与其父亲长相相似个体;(2)母亲态度在父亲在位对女儿择偶偏好影响中起调节作用。母亲态度越积极,父亲在位对女儿择偶偏好影响的正向预测作用越显著。该研究对指导女性择偶偏好、提高婚育率有重要意义。 相似文献
179.
180.