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