...

首页> 外文期刊>Studia Logica >Freek Wiedijk (Ed.), The Seventeen Provers of the World

【24h】

Freek Wiedijk (Ed.), The Seventeen Provers of the World

机译：弗里克·维迪克（Freek Wiedijk）（世界），《十七个人》

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Studia Logica》 |2007年第3期|369-374|共6页
作者
Reinhard Kahle;
展开▼
作者单位

CENTRIA UNL and Departamento de Matemática Universidade de Coimbra Coimbra Portugal;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Conformational changes in seventeen cystine disulfide bridges of bovine serum albumin proved by Raman spectroscopy [J] . Era Seiichi, Hayashi Tomoya, Murakami Masataka, FEBS Letters . 1997,第3期

机译：拉曼光谱法证实牛血清白蛋白的十七个胱氨酸二硫键的构象变化
2. System verification: proving the design solution satisfies the requirements (2nd ed.). [J] . K. Balogh Computing reviews . 2017,第5期

机译：系统验证：证明设计解决方案满足要求（第二版）。
3. Comparison of treatment outcomes after transoral robotic surgery and supraglottic partial laryngectomy: Our experience with seventeen and seventeen patients respectively [J] . ParkY.M., ByeonH.K., ChungH.P., Clinical otolaryngology: official journal of ENT-UK ; official journal of Netherlands Society for Oto-Rhino-Laryngology & Cervico-Facial Surgery . 2013,第3期

机译：经口机器人手术和声门上部分喉切除术后治疗效果的比较：我们分别对十七名和十七名患者的经验
4. "Prover-by-prover": CALIBRATION OF PROVERS USING COMPACT PROVER AS MASTER METER [C] . Valmir Ruiz, Marcos Tadeu Pereira, Nilson Massami Taira, International Flow Measurement Conference . 2010

机译：“逐个箴言”：使用紧凑铅证代的普通仪作为主仪表校准
5. Grand Illusions; Elusive Facts: The Survival of Regional Languages in France Despite 'Their Programmed Demise': Picard in Picardy and Provençal in Provence =Grandes illusions, faits élusifs: La survivance des langues régionales en France malgré : Le picard en Picardie et le provençal en Provence [D] . McCrea, Patrick Seán. 2017

机译：大幻觉；难以捉摸的事实：尽管有``他们的程序化消亡''法式，法国的区域语言仍然生存：皮卡第和普罗旺斯普罗旺斯的皮卡德=宏大的幻想，事实难以捉摸：法国皮卡第和普罗旺斯的皮卡德和普罗旺斯的地方语言的生存
6. PROVE-IT proves that lower is better: A contrary view [O] . Steven A Grover 2006

机译：PROVE-IT证明越低越好：相反的看法
7. Conformational changes in seventeen cystine disulfide bridges of bovine serum albumin proved by Raman spectroscopy [O] . Nakamura Koji, Era Seiichi, Ozaki Yukihiro, 1997

机译：拉曼光谱证实牛血清白蛋白的十七个胱氨酸二硫键的构象变化

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号