Proof Techniques for Adapter Generation.

Arjan J. Mooij Marc Voorhoeve

Published in: WS-FM (2008)

Keyphrases

databases
artificial intelligence
information systems
decision making
theorem prover
generation process
generation algorithm
real time
data mining
search engine
face recognition
data structure
wireless sensor networks
theorem proving