Electronic Books

Total Books: 5941 - 5960 /11047

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

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

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

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

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

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

Situated at the crossroads of nature and culture, physics and consciousness, cosmos and life, history – intimately conjoined ...

The Human Condition-in-the-unity-of-everything-there-is-alive, under whose aegis the present selection of essays falls, offers ...

Total Books: 5941 - 5960 /11047