Electronic Books

Total Books: 1821 - 1840 /3291

This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic ...

Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, ...

This book addresses four standard business school subjects: microeconomics, macroeconomics, finance and information systems ...

Adresses four standard business school subjects: microeconomics, macroeconomics, finance and information systems as they ...

This Finland in the nineteenth and twentieth centuries as an empirical case in order to study the emergence, shaping and ...

This book draws parallels with the settlement of terrestrial frontiers to investigate how new space propulsion techniques ...

A comprehensive guide to the use of local anaesthesia in dentistry that will meet the needs of both students and dental practitioners. ...

This book helps to understand in which ways local governing elites are important for the success or failure of national democratic ...

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming ...

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial ...

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial ...

This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

This book is at the interface of logic, philosophy and science. It is intended for readers with interest and/or current involvement ...

The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...

This book will contribute to our understanding of this dynamic process by clearly presenting and discussing the most important ...

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

Total Books: 1821 - 1840 /3291