Вы здесь

Главная

вывод

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

Parallelizing Functional Programs by Term Rewriting
ParsesraP: Using One Grammar to Specify Both Input and Output
Petri Net Inference for Data Processing
PIC Matrices: A Computationally Tractable Class of Probabilistic Query Operators
Points-to Analysis by Type Inference of Programs with Structures and Unions
Polymorphic Type Inference with Overloading and Subtyping
Polymorphic Types and Widening Operators
Polymorphism and Type Inference in Database Programming
Precise Concrete Type Inference for Object-Oriented Languages
Precise Constraint-Based Type Inference on Java
Preserving of Admissible Inference Rules in Modal Logic
Probabilistic Space Partitioning in Constraint Logic Programming
Processor Element Architecture for a Parallel Inference Machine, PIM/p
Program Derivation = Rules + Strategies
Progress in Artificial Intelligence: Proc./6th Portuguese Conf. on AI, EPIA 93. Porto, Portugal, October 1993
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems
QuickBASIC. Повышение скорости графического вывода на экран
rdp - An Iterator-Based Recursive Descent Parser Generator with Tree Promotion Operators
Reasoning about Programs: Integrating Verification and Analysis of Algorithms Into The Introductory Programming Course
Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello
Reasoning in Inconsistent Databases
Reasoning with Higher Order Partial Functions
Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs
Region Inference for Higher-Order Functional Languages
Relation between Membership Functions in Fuzzy Sets Theory and Masses in Dempster-Shafer and Operator Theory in Logical Inference Systems
Relevance Feedback and Inference Networks
Repetitions, known or unknown?
Representing Plans Under Uncertainty. A Logic of Time, Chance, and Action
Revision of Non-Monotonic Theories: Some Postulates and an Application to Logic Programming
Rule-Based Systems with Unreliable Conditions
Rules and Rule Markup Languages for the Semantic Web: Proc./Third International Workshop, RuleML 2004. Hiroshima, Japan, November 2004
Second-Order Unification and Type Inference for Church-Style Polymorphism
Semantics-Based Inference Algorithms for Adaptive Visual Environments
Semantics of Non-monotonic Reasoning based on Perfect Model
Semantics of Nonmonotonic Reasoning in Logic Programming
Set-Based Analysis for Logic Programming and Tree Automata
Soft Typing with Conditional Types
Sound Polymorphic Type Inference for Objects
Specifications of Inference Rules and Their Automatic Translation
Specifying Type Systems
Structure and Chance: Melding Logic and Probability for Software Debugging
Structuring and Derivation in Algebraic Specification/Programming Language System
Supporting Model-based Diagnosis with Explanation-based Learning and Analogical Inferences
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./9th European Conference, ECSQUARU 2007. Hammamet, Tunisia, October/November 2007
Taxonomic Reasoning in LOGIDATA+
Techniques for the Translation of MATLAB Programs into Fortran 90
Temporal Theories of Reasoning
The Cartesian Product Algorithm. Simple and Precise Type Inference of Parametric Polymorphism
The Classification and Boundary Problem