Using mathematics to improve ada compiled code, part 2: the proof.

Ward Douglas Maurer

Published in: SIGAda (2007)

Keyphrases

image processing
theorem prover
computer science
database
databases
neural network
genetic algorithm
web services
artificial neural networks
theorem proving