Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Advances in Intelligent Computing - IPMU 94
Связанные издания:
Abstract Visualization of Software. A Basis for a Complex Hash-Key?
A Feature Based Reuse Library
An Approach to Handle Partially Sound Rules of Inference
An Essay on Name and Extension of Rule-Given Properties
A Program Transformation System for Software Reuse
A System of Knowledge Representation Based on Formulae of Predicate Calculus whose Variables are Annotated by Expressions of A "Fuzzy" Terminological Logic
Efficient Interpretation of Propositional Multiple-valued Logic Programs
Hybrid Fuzzy Metrics for Software Reusability
Implication connectives for logics with right weakening
Juggling in Free Fall: Uncertainty Management Aspects of Domain Analysis Methods
Managing Uncertainty in an Object Recovery Process
Marginal Problem in Different Calculi of AI
Non Standard Probabilistic and Non Probabilistic Representations of Uncertainty
On Non-Alethic Logic
Philosophical Foundations for Causal Networks
Representation of Bayesian Networks as Relational Databases
Translation-Based Deduction Methods for Modal Logics
Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report
Using Preference Based Heuristics to Control Abductive Reasoning