发布文献求助

A general scheme for formalizing defaults using the predicateab(I, S)

计算机科学方案（数学）计算理论违约并行计算程序设计语言数学财务数学分析经济

作者

Yidong Shen

出处

期刊：Journal of Computer Science and Technology [Springer Science+Business Media]
日期：1999-03-01 卷期号：14 (2): 159-164 被引量：2

标识

DOI：10.1007/bf02946523

求助该文献

科研通智能强力驱动
Strongly Powered by AbleSci AI

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: Yas发布了新的文献求助30

1秒前; lrx发布了新的文献求助10

1秒前; 风中颖上传了应助文件

1秒前; 缓缓完成签到，获得积分10

1秒前; 这家伙完成签到，获得积分10

1秒前; 大模型上传了应助文件

2秒前; CodeCraft的应助被watakaka采纳，获得10

2秒前; 领导范儿的应助被故意的青枫采纳，获得10

2秒前; 喜欢学习发布了新的文献求助10

2秒前; 学术废物发布了新的文献求助10

2秒前; 林宏盛发布了新的文献求助10

2秒前; 无花果上传了应助文件

3秒前; 文城发布了新的文献求助10

3秒前; 华仔的应助被fengzi151采纳，获得10

4秒前; 戚钰杰完成签到，获得积分10

6秒前; 芒果椰椰发布了新的文献求助10

7秒前; eeeee发布了新的文献求助10

7秒前; 科研通AI6.3上传了应助文件

7秒前; JW完成签到，获得积分10

8秒前; 852上传了应助文件

9秒前; Owen的应助被喜欢学习采纳，获得10

9秒前; 谨慎长颈鹿完成签到，获得积分10

10秒前; 灵巧乐儿完成签到，获得积分10

10秒前; 大个上传了应助文件

11秒前; 腺苷酸完成签到，获得积分10

11秒前; wanci上传了应助文件

11秒前; 安北发布了新的文献求助10

13秒前; 轻松盼雁完成签到，获得积分10

13秒前; 小虾米完成签到，获得积分10

13秒前; dde的应助被律笺文采纳，获得10

14秒前; 小蘑菇的应助被邓谷云采纳，获得10

14秒前; NexusExplorer上传了应助文件

15秒前; 六百六十六发布了新的文献求助10

16秒前; 南极以南发布了新的文献求助10

16秒前; 心灵美的小海豚完成签到，获得积分10

16秒前; 852上传了应助文件

16秒前; Jasper的应助被赖炫芬采纳，获得10

16秒前; 故意的青枫发布了新的文献求助10

16秒前; 精明梦柏完成签到，获得积分10

17秒前; 涛1118发布了新的文献求助10

17秒前

高分求助中: Overcoming Stigma and Bias in Obesity Management 800; Malcolm Fraser : a biography 700; Signals, Systems, and Signal Processing 610; Bounds for Statistical Estimation in Semiparametric Models 500; Climate change and sports: Statistics report on climate change and sports 500; Forced degradation and stability indicating LC method for Letrozole: A stress testing guide 500; A Foreign Missionary on the Long March: The Unpublished Memoirs of Arnolis Hayman of the China Inland Mission 400

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 6467143; 求助须知：如何正确求助？哪些是违规求助？ 8273199; 关于积分的说明 17640439; 捐赠科研通 5542358; 什么是DOI，文献DOI怎么找？ 2908117; 邀请新用户注册赠送积分活动 1885067; 关于科研通互助平台的介绍 1733419

今日热心研友

风声3492881045

殷勤的紫槐

贪玩的秋柔

AllRightReserved

大力的灵雁

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通