The automated proof of a trace transformation for a bitonic sort.
Chua-Huang HuangChristian LengauerPublished in: Theor. Comput. Sci. (1986)
Keyphrases
- automated theorem provers
- theorem proving
- semi automated
- theorem prover
- digital libraries
- data driven
- evolutionary algorithm
- artificial neural networks
- computer algebra
- transformation rules
- context sensitive
- computer assisted
- data sets
- learning environment
- data structure
- multi agent
- metadata
- e learning
- information systems
- artificial intelligence
- neural network