Logical and Computational Aspects of Model-Based Reasoning
-
innbundet
,
Engelsk, 2002