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