Вы здесь

Главная

вывод

Связанные издания:

The Completeness of a Hardware Inference System
The MAGICA Type Inference Engine for MATLAB
The single-conclusion proof logic and inference rules specification
This is MyWorld: The Logic of an Agent-Oriented DAI Testbed
TICL- A Type Reference System for Common Lisp
Time-Bounded Reasoning in First Order Knowledge Base Systems
Toward a Formal Model of Commitment for Resource Bounded Agents
Towards Abticipatory Agents
Towards a Modular Program Derivation via Fusion and Tupling
Towards Automated Support for Deriving Test Data from UML Statecharts
Towards Mechanized Mathematical Assistants:Proc./14th Symposium, Calculemus 2007, 16th International Conf.MKM 2007, Hagenberg,Austria,June 2007
Towards More Efficient Loop Checks
Towards Probabilistic Knowledge Bases
Two Fully Abstract Models for UNITY
Typechecking of PEI Expressions
Type Derivation Using the Projection Operation
Typed Lambda Calculi and Applications: Proc./7th International Conference, TLCA 2005. Nara, Japan, April 2005
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining
Type Inference Builds a Short Cut to Deforestation
Type Inference for First-Class Messages with Feature Constraints
Type Inference for Late Binding: The SmallEiffel Compiler
Type Inference for Parameterized Race-Free Java
Type inference in Prolog: a new approach
Type Inferencing Based on Complete Type Specifications
Type Inferencing for Polymorphic Order-sorted Logic Programs
Type Specialisation for the Lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference
Unsound Theorem Proving
Update by Means of Inference Rules
Using Abstract Interpretation to Define a Strictness Type Inference System
Using Spatial Audio for the Enhanced Presentation of Synthesis Speech within Screen-Readers for Blind Computer Users
Verification of CCS-processes
Weighted Systems of Equations
XML Schemata Inference and Evolution
Автоматизация вывода для прикладных позитивных исчислений в экспертных системах
Алгоримы вычисления атрибутов в атрибутных грамматиках
Взаимодействие нокоторых оптимизаций логического вывода в системах декларативных продукций
Вывод в системах продукций с недоопределенными объектами. Процесс логического вывода
Вывод в системах продукций с недоопределенными объектами. Процесс рассуждения, определяемый модульной базой знаний
Вывод на сетях Петри и его применение
Густота синтаксических деревьев и деревьев вывода в грамматиках
Естественный язык и логический вывод в экспертных системах
Изучаем JavaScript, часть 2
Использование неявных связей объекта при его исследовании с помо ью логического вывода по аналогии
Исследование методов оптимизации вывода в системах декларативных продукций
Комплекс процедур вывода информации на АЦПУ (часть II)
Локальные методы поиска вывода в автоматическом решении задач
Математические основы построения нечетких байесовских механизмов вывода
Матемтаическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ
Метод проблемно-ориентированного доказательства в нечеткой логике (ПО-метод)
Методы вывода решений в экспертных системах