Telecharger Cours

Evaluation of pesticide residues - Food and Agriculture Organization

This thesis gives logical foundations to active databases using the situation calculus, a logic for rea- soning about actions. Our approach appeals to theories ...



Download