全文获取类型
收费全文 | 21023篇 |
免费 | 69篇 |
出版年
2023年 | 14篇 |
2022年 | 13篇 |
2021年 | 15篇 |
2020年 | 31篇 |
2019年 | 36篇 |
2018年 | 3517篇 |
2017年 | 2847篇 |
2016年 | 2272篇 |
2015年 | 220篇 |
2014年 | 108篇 |
2013年 | 159篇 |
2012年 | 604篇 |
2011年 | 2423篇 |
2010年 | 2533篇 |
2009年 | 1486篇 |
2008年 | 1723篇 |
2007年 | 2186篇 |
2006年 | 40篇 |
2005年 | 216篇 |
2004年 | 169篇 |
2003年 | 118篇 |
2002年 | 68篇 |
2001年 | 36篇 |
2000年 | 55篇 |
1999年 | 14篇 |
1998年 | 27篇 |
1997年 | 22篇 |
1996年 | 9篇 |
1995年 | 5篇 |
1994年 | 4篇 |
1990年 | 9篇 |
1989年 | 6篇 |
1986年 | 5篇 |
1983年 | 3篇 |
1982年 | 3篇 |
1981年 | 3篇 |
1978年 | 5篇 |
1977年 | 3篇 |
1976年 | 8篇 |
1975年 | 4篇 |
1974年 | 5篇 |
1973年 | 5篇 |
1971年 | 6篇 |
1969年 | 3篇 |
1968年 | 3篇 |
1967年 | 3篇 |
1966年 | 4篇 |
1965年 | 4篇 |
1954年 | 3篇 |
1953年 | 4篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
Melvin Fitting 《Studia Logica》1988,47(2):85-91
A generalization of conventional Horn clause logic programming is proposed in which the space of truth values is a pseudo-Boolean or Heyting algebra, whose members may be thought of as evidences for propositions. A minimal model and an operational semantics is presented, and their equivalence is proved, thus generalizing the classic work of Van Emden and Kowalski.Research supported by PSC-CUNY Grants 666396, 667295 and NSF Grant CCR-8702307. 相似文献