首页> 外文OA文献 >Equality, types, modules, and (why not?) generics for logic programming

【2h】

Equality, types, modules, and (why not?) generics for logic programming

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

代理获取

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

页面导航

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

著录项

作者
Goguen Joseph A.; Meseguer José;
展开▼
作者单位

展开▼
年度 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. Logic Design Using Modules and Nonlinear Integer Programming [J] . Pavlatos C., Dimopoulos A. C., Papakonstantinou G. Journal of circuits, systems and computers . 2020,第10期

机译：使用模块和非线性整数编程的逻辑设计
4. A Parameterised Module System for Constructing Typed Logic Programs [C] . P. M. Hill International Joint Conference on Artificial Intelligence . 2007

机译：用于构造类型逻辑程序的参数化模块系统
5. MOOL: An object-oriented programming language with generics and modules. [D] . Barron Estrada, Maria Lucia. 2004

机译：MOOL：带有泛型和模块的面向对象的编程语言。
6. Improving the Human Readability of Arden Syntax Medical Logic Modules Using a Concept-oriented Terminology and Object-oriented Programming Expressions [O] . Jeeyae Choi, Suzanne Bakken, Yves A. Lussier, -1

机译：使用面向概念的术语和面向对象的编程表达式提高Arden语法医学逻辑模块的可读性
7. Equality, types, modules, and (why not?) generics for logic programming Goguen, J. and Meseguer, J., journal of logic programming 1:179 (1984) [O] . 1984

机译：逻辑编程的相等性，类型，模块和（为什么不是）泛型Goguen，J。和Meseguer，J。，逻辑编程杂志1：179（1984）
8. Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs [R] . Wos, L. , McCune, W. 1988

机译：关注平等和组合逻辑的挑战问题：评估自动定理证明程序

Equality, types, modules, and (why not?) generics for logic programming

著录项

引文网络

相似文献

相关主题

期刊订阅