Logic for Programming, Aritficial Intelligence, and Reasoning
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial ...
Continue reading
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, ...
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, Information and Computation
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
Continue reading
Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
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
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 ...
Continue reading
Logical Aspects of Computational Linguistics
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...
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
Logistics Systems Analysis
This expanded edition of ALogistics Systems Analysis@ includes new - search results and numerous modifications to enhance ...
Continue reading
Logos of Phenomenology and Phenomenology of the Logos. Book Five
Having established in the ontopoiesis/phenomenology of life the creative function of the human being as the fulcrum of our ...
Continue reading
Logos of Phenomenology and Phenomenology of the Logos. Book One
During its century-long unfolding, spreading in numerous directions, Husserlian phenomenology while loosening inner articulations, ...
Continue reading
Long-Run Growth Forecasting
This book explores how to set up an empirical model that helps with forecasting long-term economic growth in a large number ...
Continue reading
Long-Term Preservation of Digital Documents
Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly ...
Continue reading
Long-term Limnological Research and Monitoring at Crater Lake, Oregon
Crater Lake is located in the caldera of Mount Mazama in Crater Lake National Park, Oregon. The lake has a surface area of ...
Continue reading
Longer Life and Healthy Aging
The focus of this book is on theoretical issues and empirical findings related to trends and determinants of healthy aging, ...
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
