Electronic Books

Total Books: 9181 - 9200 /17127

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

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

The book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...

Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...

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

Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...

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

LOGICAL DATA MODELING: What It Is and How To Do IT is directed toward three groups of people: (1) Business subject matter ...

The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide ...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

This textbook covers logical and relational learning in depth, and hence provides an introduction to inductive logic programming ...

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...

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

This expanded edition of ALogistics Systems Analysis@ includes new - search results and numerous modifications to enhance ...

In a context of global competition, the optimization of logistics systems is inescapable. LOGISTICS SYSTEMS: Design and ...

Prompted and ever diversified by the specifically human interrogative logos, scientific inquiries seek a common system of ...

Total Books: 9181 - 9200 /17127