Logic Programming (vol. # 4079)
This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...
Continue reading
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Continue reading
Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Continue reading
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 ...
Continue reading
Logic, Language, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Continue reading
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue reading
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 ...
Continue reading
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. ...
Continue reading
Logical Approaches to Computational Barriers
The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...
Continue reading
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue reading
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Continue reading
Logistics Systems Analysis
This expanded edition of ALogistics Systems Analysis@ includes new - search results and numerous modifications to enhance ...
Continue reading
Logistics Systems: Design and Optimization
In a context of global competition, the optimization of logistics systems is inescapable. LOGISTICS SYSTEMS: Design and ...
Continue reading
Lonely Minds in the Universe
This interdisciplinary book probes the subject of extraterrestrial intelligent life, offering scientific and technological ...
Continue reading
Long-Term Ecosystem Changes in Riparian Forests
This book presents and analyzes the results of more than 30 years of long-term ecological research in riparian forest ecosystems ...
Continue reading
Lost Causes in and beyond Physics
Lost Causes in and Beyond Physics deals with a selection of research topics mostly from theoretical physics that have been ...
Continue reading
Low Molecular Mass Gelators
Chapter 1 presents the physical principles of the growth mechanism of fiber and fiber network with LMGs, as treated on the ...
Continue reading
Low Thermal Expansion Glass Ceramics
This book appears in the authoritative series reporting the international research and development activities conducted by ...
Continue reading
Low-Cost Approaches to Promote Physical and Mental Health
Most physical and mental health professionals will agree that their time, space, and funds are generally in short supply, ...
Continue reading
