Logic Programming (vol. # 4079)
This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...
Lee mas
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 ...
Lee mas
Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...
Lee mas
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lee mas
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 ...
Lee mas
Logic, Language, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Lee mas
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
Logical Approaches to Computational Barriers
The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...
Lee mas
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lee mas
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Lee mas
Logistics Systems Analysis
This expanded edition of ALogistics Systems Analysis@ includes new - search results and numerous modifications to enhance ...
Lee mas
Logistics Systems: Design and Optimization
In a context of global competition, the optimization of logistics systems is inescapable. LOGISTICS SYSTEMS: Design and ...
Lee mas
Lonely Minds in the Universe
This interdisciplinary book probes the subject of extraterrestrial intelligent life, offering scientific and technological ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Low Thermal Expansion Glass Ceramics
This book appears in the authoritative series reporting the international research and development activities conducted by ...
Lee mas
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, ...
Lee mas
