CafeOBJ: Logical Foundations and Methodologies.

Razvan Diaconescu Kokichi Futatsugi Kazuhiro Ogata

Published in: Comput. Artif. Intell. (2003)

Keyphrases

logical foundations
active databases
artificial intelligence
data mining
database
databases
database systems
data structure