Electronic Books

Total Books: 5941 - 5960 /11047

Logic Programming with Prolog

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

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)

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

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

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

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

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

Logic in Reality

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

Logic, Language, Information and Computation

The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...

Logic, Language, and Computation

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

Logic, Thought and Action

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

Logic-Based Program Synthesis and Transformation

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

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

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

Logica Universalis

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

Logica Universalis : Towards a General Theory of Logic

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

Logical Aspects of Computational Linguistics

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

Logical Aspects of Computational Linguistics

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

Logics of Specification Languages

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

Logistics Outsourcing Relationships

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

Logistics Systems Analysis

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

Logistics Systems: Design and Optimization

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

Logos of Phenomenology and Phenomenology of The Logos. Book Three

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

Logos of Phenomenology and Phenomenology of The Logos. Book Two

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