We use cookies to improve your experience with our site.

Statistical Heuristic Search
On the Complexity of Induction of Structural Descriptions
Knowledge-Based Decision Support System
On the Development of Applications of Logic in Programming
On Conceptual Model Specification and Verification
Stack Method in Program Semantics
An Interactive System SDI on Microcomputer
Easy Test Generation PLAs
Current Issue Cover