We use cookies to improve your experience with our site.

Optimal Algorithm for Algebraic Factoring
Mechanical Geometry Theorem Proving Based on Groebner Bases
R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance
Implementation of GAMMA on a Massively Parallel Computer
RaRb Transformation of Compound Finite Automata over Commutative Rings
Performance Prediction of the Hough Transform
Existence and Uniqueness in Shape from Shading
An Approach to User Interface Specification with Attribute Grammars
Neural Network Methods for NURBS Curve and Surface Interpolation
Parsing with Dynamic Rule Selection
Current Issue Cover