Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach

Qualitative and Quantitative Practical Reasoning - 1997 - Springer Berlin Heidelberg 1997 - Lecture Notes in Computer Science .

9783540691297


Computer Science