Electronic Books

Total Books: 3441 - 3460 /6426

Some ferromagnetic materials with localized magnetic moments have become a hot topic in modern solid-state physics because ...

Although modern location theory is now more than 90 years old, the focus of researchers in this area has been mainly problem ...

In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...

In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator ...

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 ...

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 Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...

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 book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

In recent years, logistics outsourcing has gained increasing importance and today is used by a large number of firms across ...

Total Books: 3441 - 3460 /6426