首页> 美国政府科技报告 >Lecture Notes in Computer Science 960. Logic and Computational Complexity.International Workshop Held in Indianapolis, Indiana on October 1994. Selected Papers

【24h】

Lecture Notes in Computer Science 960. Logic and Computational Complexity.International Workshop Held in Indianapolis, Indiana on October 1994. Selected Papers

机译：计算机科学讲义960.逻辑与计算复杂性。国际研讨会于1994年10月在印第安纳州印第安纳波利斯举行。精选论文

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

No abstract available.

著录项

作者
Leivant, D.; Goos, G.; Hermanis, J.; VanLeeuwen, J.;
展开▼
作者单位

展开▼
年度 1994
页码
总页数 526
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Mathematical models; Computer programming; Data bases; Algorithms; Optimization; Computations; Probability distribution functions; Computer logic; Programming languages; Mathematical logic; Algebra; Parallel processing; Mathematical programming; Polynomia;

机译：数学模型;计算机编程;数据库;算法;优化;计算;概率分布函数;计算机逻辑;程序设计语言;数学逻辑;代数;并行处理;数学编程;多项式;
入库时间 2022-08-29 11:15:46

相似文献

外文文献
中文文献

1. Contents and abstracts of the electronic notes in theoretical computer science vol. 5 - Selected papers first international workshop on verification of infinite state systems, Universita di Pisa, Pisa, Italy, 30-31 August, 1996 [J] . Theoretical computer science . 1998,第1a2期

机译：理论计算机科学卷中电子注释的内容和摘要。 5-1996年8月30日至31日在意大利比萨的比萨大学首次论文选出有关无限状态系统验证的国际研讨会
2. Contents and abstracts of the electronic notes in theoretical computer science vol. 5 - Selected papers first international workshop on verification of infinite state systems, Universita di Pisa, Pisa, Italy, 30-31 August, 1996 [J] . Steffen B., Caucal D. Theoretical computer science . 1998,第1a2期

机译：理论计算机科学卷中电子注释的内容和摘要。 5-1996年8月30日至31日在意大利比萨的比萨大学首次论文选出有关无限状态系统验证的国际研讨会
3. Selected contributions, resulting from presentations at the workshop “Modeling Science-Understanding, Forecasting and Communicating the Science System,” held in Amsterdam, October 6–9, 2009 [J] . Scientometrics . 2011,第1期

机译：部分贡献来自于2009年10月6日至9日在阿姆斯特丹举行的“模拟科学，了解，预测和交流科学系统”研讨会上的演讲
4. Lectures Presented at the International Conference on Computational Methods in Science and Engineering (Cos, Greece, 3-8 October, 2010) [C] . George Maroulis, Theodore Simos International Conference of Computational Methods in Sciences and Engineering . 2015

机译：科学与工程计算方法国际会议上提出了讲座（COS，希腊，2010年10月3日至8日）
5. Effect of Cyclophosphoramide, 6-Mercaptopurine, Actinomycin D and Vincaleukoblastine on the Acquisition of Delayed Hypersensitivity (DNCB Contact Dermatitis) in the Guinea-Pig11From the Department of Dermatology, University of Pennsylvania School of Medicine, Philadelphia 4, Pennsylvania.This study was supported in part by U.S.P.H.S. Training Grant 2 G-62.This investigation was carried out during the tenure of a postdoctoral fellowship, held by Dr. Maibach, from the Division of General Medical Sciences, United States Public Health Service.Cyclophosphoramide (Cytoxan®) was supplied by Paul A. Walter, M.D., Mead Johnson Laboratories, Evansville 21, Indiana; 6-mercaptopurine by Donald S. Searle, M.D., Burroughs Wellcome Co., Tuckahoe, N.Y.; vincaleukoblastine by J. A. Armstrong, M.D., Eli Lilly and Co., Indianapolis 6, Indiana; and Actinomycin D by Elmer Alpert, M.D., Merck Sharp and Dohme, West Point, Pa.Presented at the Twenty-second Annual Meeting of The Society for Investigative Dermatology, Inc., New York, N.Y., June 28, 1961. [O] . Maguire Henry C., Maibach Howard I. 1961

机译：几内亚-Pig11的环磷酰胺，6-巯基嘌呤，放线菌素D和Vincaleukoblastine对迟发型超敏反应（DNCB接触性皮炎）习得的影响宾夕法尼亚州宾夕法尼亚大学医学院皮肤病学系，宾夕法尼亚州费城4 USPHS的一部分培训补助金2 G-62。这项研究是在美国公共卫生服务部普通医学科的迈巴赫博士担任博士后研究金期间进行的，环磷酰胺（Cytoxan®）由Paul A提供美国印第安纳州埃文斯维尔21号米德·约翰逊实验室的Walter医师；纽约州塔克霍市Burroughs Wellcome＆Co.的Donald S.Searle，M.D.的6-巯基嘌呤; vincaleukoblastine，J。A. Armstrong，医学博士，礼来公司，印第安纳州印第安纳波利斯6；和放线菌素D由宾夕法尼亚州西点的默克·夏普（Merck Sharp）和多梅（Merck Sharp and Dohme）于1961年6月28日在纽约州纽约市研究皮肤病学会举行第二十二届年会上发表。

Lecture Notes in Computer Science 960. Logic and Computational Complexity.International Workshop Held in Indianapolis, Indiana on October 1994. Selected Papers

摘要

著录项

相似文献

相关主题

期刊订阅