Proof Support for RAISE by a Reuse Approach Based on Institutions.

Morten P. Lindegaard Anne E. Haxthausen

Published in: AMAST (2004)

Keyphrases

multimedia
real world
genetic algorithm
decision making
end users
educational institutions
linear logic