The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from kno...
Database technology is currently being pushed by the needs of new applications and pulled by the oppor- tunities of novel developments in hardware and...
The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Associat...
LOGLAN '88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i.e. clas...
In this volume the author gives an introduction to the theory of group representations and their applications in image science. The main feature of th...