首页> 外文OA文献 >A pragmatic type concept for Prolog supporting polymorphism, subtyping, and meta-programming11Part of the research reported here was supported by the Deutsche Forschungsgemeinschaft (DFG) under grant Be 1700/3-1.

【2h】

A pragmatic type concept for Prolog supporting polymorphism, subtyping, and meta-programming11Part of the research reported here was supported by the Deutsche Forschungsgemeinschaft (DFG) under grant Be 1700/3-1.

机译：Prolog的务实类型概念，支持多态性，子类型化和元编程11此处报道的部分研究得到了德国科学基金会（DFG）的资助，编号为1700 / 3-1。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Beierle Christoph; Kloos Reinhold; Meyer Gregor;
展开▼
作者单位

展开▼
年度 1999
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
专利

1. Regional MPC with active set updates * * Support by the Deutsche Forschungsgemeinschaft (DFG) under grant MO 1086/15-1 is gratefully acknowledged. [J] . Kai K?nig, Martin M?nnigmann IFAC PapersOnLine . 2017,第1期

机译：具有活动集更新的区域MPC * * 在授权MO 1086 / 15-1下，Deutsche Forschungsgemeinschaft（DFG）的支持表示感谢确认。
2. Regional MPC with active set updates * * Support by the Deutsche Forschungsgemeinschaft (DFG) under grant MO 1086/15-1 is gratefully acknowledged. [J] . Kai K?nig, Martin M?nnigmann IFAC PapersOnLine . 2017,第1期

机译：具有活动集更新的区域MPC * * 在授权MO 1086 / 15-1下，Deutsche Forschungsgemeinschaft（DFG）的支持表示感谢确认。
3. Active Compensation of Dynamic Errors in a Coordinate-Measuring Machine * * This work was supported by the DFG (Deutsche Forschungs-gemeinschaft / German Research Foundation) under grants SA 847/16-1, OS 111/42-1. [J] . Alexander Keck, Oliver Sawodny, Marc Gronle, IFAC PapersOnLine . 2016,第21期

机译：坐标测量机中动态误差的主动补偿 * * DFG支持这项工作（ Deutsche Forschungs-gemeinschaft /德国研究基金会）授予SA 847 / 16-1，OS 111 / 42-1。
4. Secure Web Engineering Supported by an Evaluation Framework Preliminary Report on a Web Engineering Approach for Secure Applications Supported by a Conceptual Evaluation Framework for Secure Systems Engineering [C] . Marianne Busch International Conference on Model-Driven Engineering and Software Development . 2014

机译：安全网络工程支持的评估框架关于安全系统工程概念评估框架支持的安全应用程序的网络工程方法的初步报告
5. Subtypes of Batterers in Treatment: Empirical Support for a Distinction between Type I, Type II and Type III [O] . José Luis Graña, Natalia Redondo, Marina J. Muñoz-Rivas, 2010

机译：治疗中的电池亚型：区分I型，II型和III型的经验支持
6. Expression of VEGF isoforms by epiphyseal chondrocytes during low-oxygen tension is HIF-1α dependent11This work was supported by a grant from the Interdisciplinary Center for Clinical Research at the University Hospital Erlangen-Nuremberg. T. C. was supported by a grant from the Deutsche Forschungsgemeinschaft (Cr 133/1-1). [O] . Cramer T., Schipani E., Johnson R.S., 2004

机译：低氧张力期间epi骨软骨细胞表达的VEGF亚型是HIF-1α依赖性的。这项工作得到了Erlangen-Nuremberg大学医院跨学科临床研究中心的资助。 T. C.得到了Deutsche Forschungsgemeinschaft（Cr 133 / 1-1）的资助。
7. Short-Term Evaluation of the Biomedical Research Support Grant Phase 4 Report Alternative for Evaluation and Monitoring o Biomedical Research Support Grants [R] . Rebecca T. Cross, James M. Statman, Jares Bell 1984

机译：生物医学研究支持补助金的第4阶段报告替代评估和监测的短期评估o生物医学研究支持补助金

A pragmatic type concept for Prolog supporting polymorphism, subtyping, and meta-programming11Part of the research reported here was supported by the Deutsche Forschungsgemeinschaft (DFG) under grant Be 1700/3-1.

著录项

引文网络

相似文献

相关主题

期刊订阅