Lambda-Kalkül Schemata als Kontrollstrukturen für LISP-Programme.
N. BauchrowitzF. SimonPublished in: GI Jahrestagung (1980)
Keyphrases
- learning theory
- programming language
- lambda calculus
- dependency directed backtracking
- distance learning
- conceptual schema
- fixed point
- machine learning
- intermediate representations
- database schema
- functional dependencies
- higher education
- social media
- information retrieval
- software engineering
- default reasoning
- data structure
- laser scanning
- computer vision
- databases
- database schemata