中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-7 of 7)

Items/Page: Sort:
	“中介逻辑”与Woodruff三值逻辑系统 [期刊论文] 科学通报, 1989-01-01, 卷号: 34, 期号: 5, 页码: 329-332 李祥; 李广元 \|
	An automata theoretic decision procedure for the propositional mu-calculus [期刊论文] Information and Computation, 1989-01-01, 卷号: 81, 期号: 3, 页码: 249 - 264 Robert S. Streett; E. Allen Emerson \|
	Perceived Usefulness, Perceived Ease of Use, and User Acceptance of Information Technology [期刊论文] MIS Quarterly, 1989-01-01, 卷号: 13, 期号: 3, 页码: 319-340 Fred D. Davis \|
	Improved low-altitude constellation design methods [期刊论文] Journal of Guidance, Control, and Dynamics, 1989-01-01, 卷号: 12, 期号: 2, 页码: 228-236 Hanson John M.; Linden Alexander N. \|
	The knowledge complexity of interactive proof systems [期刊论文] SIAM Journal on Computing, 1989-01-01, 卷号: 18, 期号: 1, 页码: 186 - 208 S. Goldwasser; S. Micali; C. Rackoff \|
	An Efficient Digital Search Algorithm by Using a Double-Array Structure [期刊论文] IEEE Transactions on Software Engineering, 1989-01-01, 卷号: 15, 期号: 9, 页码: 1066 - 1077 Jun-ichi Aoe \|
	The Impact of Breaks on Forgetting When Performing A Repetitive Task [期刊论文] IIE Transactions, 1989-01-01, 卷号: 21, 期号: 4, 页码: 376 - 381 Shlomo Globerson; Nissan Levin; Avraham Shtub \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In