Electronic Books

Total Books: 181 - 200 /209

Studies in Legal Logic contains chapters about the nature of norms, the role of coherence in the law, the nature of defeasibility, ...

This book constitutes the refereed proceedings of the 6th International Workshop on Task Models and Diagrams for User Interface ...

The ?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality ...

This volume critically explores the nature and depth of our contemporary cultural crisis: its lack of traditional orientation ...

This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of ...

This book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the ...

Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, ...

The vision of the Semantic Web is to enhance today’s Web via the exploi- tion of machine-processable metadata. The explicit ...

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...

This book intends to help understand and apply principles and rules better. Its target is to keep the distinction between ...

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, starting from ...

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical ...

Volume V of the Transactions on Rough Sets (TRS) is dedicated to the monu-mental life and work of Zdzis law Pawlak1. During ...

This volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Total Books: 181 - 200 /209