by International Conference on Formal and Applied Practical Reasoning (1996 Bonn, Germany)
"This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996. The 51 revised full papers…