Typed lambda calculi and applications

Computer aided verification

fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992

Filtering, segmentation, and depth

Machine learning

from theory to applications

Nonmonotonic and inductive logic

second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991