by Atif Mashkoor (Editor), Qing Wang (Editor), Bernhard Thalheim (Editor)
This book is a Festschrift dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday. It contains contributions by his students, colleagues, and friends. The articles, written by computer scientists, mathematicians, and logicians, address recent research trends in areas such as rigorous methods, databases, mathematical reasoning and conceptual modeling.
