International Conference on Formal and Applied Practical Reasoning (1996 Bonn, Germany)

1 books in the database