权威例句
Feasibly constructive proofs and the propositional calculus (Preliminary Version)Functional Interpretations of Feasibly Constructive Arithmetic AbstractFunctional interpretations of feasibly constructive arithmeticFunctional interpretations of feasibly constructive arithmeticHow to reason defeasiblyA simulated annealing approach for the circular cutting problemComputational Complexity of Higher Type FunctionsBlocking-aware processor voltage scheduling for real-time tasksTrapping and marking terrestrial mammals for research: integrating ethics, performance criteria, techniques, and common senseA scheduling model for reduced CPU energy