Solving Goals in Equational Languages.

Nachum Dershowitz G. Sivakumar

Published in: CTRS (1987)

Keyphrases

data sets
real time
expressive power
theorem prover
language independent
database
databases
artificial intelligence
combinatorial optimization
reinforcement learning
evolutionary algorithm
cross lingual
theorem proving
quadratic programming