Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems.

Luís Cruz-Filipe Amílcar Sernadas Cristina Sernadas

Published in: Log. J. IGPL (2008)

Keyphrases

complex systems
genetic algorithm
expert systems
real time
decision making
case study
information technology
distributed systems
computer systems
building blocks