Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002

Published in: LPE (2002)

Keyphrases

programming environments
programming environment
logic programming
modal logic
hong kong
computer music
database
programming language
databases
data management
lecture notes
multi valued
classical logic