Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
XXI SOFSEM 94: Contributed Talks
Связанные издания:
A Approach to Overcoming the Inheritance Anomaly
A Nesting Sensitive Complexity Metric
Architecture for Interactive Systems with Highly Graphical User Interfaces
Connectionist-Stochastic Model for Speech Recognition
Constrained narrowing by decomposition
Differential Ray Tracing
Direct Specifications vs. Abstract Specifications A Relational Approach
Fast Hidden Line Removal in Raster Space Formulated as Set Union Algorithm with a Two-Way_Cross Scan Conversion
Integrating Static and Dynamic Sort Checking in Logic Programming
Intelligent Hypermedia Access: The Universal Information-Space Guide
Linear Maximum Matching on Cubic Graphs
Massaging Heapsort into an Optimal Disk Sorting Algorithm
Merging Petri Nets and Objects
Neural Learning is not Efficient
Neural Networks with One Type of Cascade Architecture
On a Decidability Border for Temporal Logics on Petri Nets
Parallel Algorithm for Integral Solutions of the Inequality y-1/2<Vx/H<=y+1/2 Linear Interpolation
Petri Net Based Integrated Development Environment
Prototype of a Grammar Checker Kernel
The Architecture of a Grammar Checker
Towards Algebraic Semantics of Imperative Languages
Towards Logic Program Synthesis from a Small Example Set
Using Type Theory to Synthesise Database Functions