首页> 外文OA文献 >Equality, types, modules, and (why not?) generics for logic programming Goguen, J. and Meseguer, J., journal of logic programming 1:179 (1984)

【2h】

Equality, types, modules, and (why not?) generics for logic programming Goguen, J. and Meseguer, J., journal of logic programming 1:179 (1984)

机译：逻辑编程的相等性，类型，模块和（为什么不是）泛型Goguen，J。和Meseguer，J。，逻辑编程杂志1：179（1984）

代理获取

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

页面导航

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

著录项

作者

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A study of a fine-grained and small configuration data amount programmable logic module for dynamically reconfigurable processors - programmable logic element for the flexible processor [J] . Naoto Miyamoto, Leo Karnan, Koji Kotani, 電子情報通信学会技術研究報告. 集積回路. Integrated Circuits and Devices . 2003,第88期

机译：用于动态可重配置处理器的细粒度和小配置数据量可编程逻辑模块的研究-灵活处理器的可编程逻辑元件
2. A study of a fine-grained and small configuration data amount programmable logic module for dynamically reconfigurable processors - programmable logic element for the flexible processor [J] . Naoto Miyamoto, Leo Karnan, Koji Kotani, 電子情報通信学会技術研究報告. 集積回路. Integrated Circuits and Devices . 2003,第88期

机译：用于动态可重新配置处理器的细粒度和小型配置数据量可编程逻辑模块的研究 - 灵活处理器的可编程逻辑元件
3. Re: Accuracy of PCA3 Measurement in Predicting Short-Term Biopsy Progression in an Active Surveillance Program J. J. Tosoian, S. Loeb, A. Kettermann, P. Landis, D. J. Elliot, J. I. Epstein, A. W. Partin, H. B. Carter and L. J. Sokoll J Urol 2010; 183: 534-538. [J] . Papatsoris A, Bourdoumis A, Chrisofos M The Journal of Urology . 2010,第1期

机译：回复：在主动监测计划中预测短期活检进展中PCA3测量的准确性JJ Tosoian，S。Loeb，A。Kettermann，P.Landis，DJ Elliot，JI Epstein，AW Partin，HB Carter和LJ Sokoll J Urol 2010 ; 183：534-538。
4. Logic programs as types for logic programs [C] . Fruhwirth, T., Shapiro, . 1991

机译：逻辑程序作为逻辑程序的类型
5. Dependntly Typed Programming with Domain-Specific Logics. [D] . Licata, Daniel R. 2011

机译：具有特定领域逻辑的依赖类型编程。
6. Correction: Giménez-Meseguer J. Tortosa-Martínez J. Cortell-Tormo J. M. The Benefits of Physical Exercise on Mental Disorders and Quality of Life in Substance Use Disorders Patients. Systematic Review and Meta-Analysis. International Journal of Environment Research and Public Health. 2020 17 3680 [O] . Jorge Giménez-Meseguer, Juan Tortosa-Martínez, Juan M. Cortell-Tormo 2020

机译：修正：Giménez-MeseguerJ.Tortosa-MartínezJ.Cortell-TormoJ.M。物理锻炼对精神障碍和物质使用疾病患者的生活质量的好处。系统审查和荟萃分析。国际环境研究与公共卫生杂志。 2020173680
7. Equality, types, modules, and (why not?) generics for logic programming [O] . Goguen Joseph A., Meseguer José 1984

机译：逻辑编程的相等性，类型，模块和（为什么？）泛型

Equality, types, modules, and (why not?) generics for logic programming Goguen, J. and Meseguer, J., journal of logic programming 1:179 (1984)

著录项

引文网络

相似文献

相关主题

期刊订阅