Program Composition in Isabelle/UNITY.

Sidi O. Ehmety Lawrence C. Paulson

Published in: IPDPS (2002)

Keyphrases

theorem prover
neural network
data sets
data mining
information retrieval
genetic algorithm
computer vision
multi agent systems
test cases
web service composition