Language, Logical Foundation, Verification.
Reiji NakajimaPublished in: The IOTA Programming System (1983)
Keyphrases
- logical language
- information systems
- natural language
- language learning
- predicate calculus
- model checking
- theoretical foundation
- language processing
- logical structure
- signature verification
- english language
- relational query languages
- database
- lambda calculus
- representation language
- high level
- neural network
- databases
- data sets