Keyphrases
- programming language
- machine learning
- inductive learning
- programming environment
- functional programs
- inductive reasoning
- object oriented programming
- computer programs
- theorem proving
- inductive concept learning
- information retrieval
- knowledge representation
- theorem prover
- multi agent
- case study
- knowledge base
- computer programming
- social networks
- decision procedures
- programming concepts
- neural network
- mathematical knowledge
- mathematical proofs
- data sets