Publication:3859241
From MaRDI portal
zbMath0424.68012MaRDI QIDQ3859241
No author found.
Publication date: 1978
68W30: Symbolic computation and algebraic computation
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N01: General topics in the theory of software
Related Items
Control structures in hypothesis spaces: The influence on learning, Theory of symbolic expressions. I, Minimal and almost minimal perfect hash function search with application to natural language lexicon design, Acceptable functional programming systems, Stack implementation of shallow binding in languages with mixed scoping, An efficient interpreter for the lambda-calculus, Extraction and verification of programs by analysis of formal proofs, From MDD to BDD and arc consistency, Unnamed Item