Issue 1/2001
Content (6 Articles)
A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics
Enrico Giunchiglia, Armando Tacchella
An Algebraic Model for Generating and Adapting Neural Networks by Means of Optimization Methods
Dolores Barrios, Daniel Manrique, M. Rosario Plaza, Juan Ríos
Volume Contents