Consistent Consequence for Boolean Equation Systems.

Maciej Gazda Tim A. C. Willemse

Published in: SOFSEM (2012)

Keyphrases

management system
distributed systems
complex systems
retrieval systems
database
information retrieval
multimedia
expert systems
user interface
software engineering
building blocks
learning systems
real valued
embedded systems
numerical solution