Electronic Books

Total Books: 2841 - 2860 /4928
978-3-540-89982-2
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
978-3-540-31827-9
Logic Programming and Nonmonotonic Reasoning

Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones ...

Continue reading
978-3-540-69285-0
Logic Synthesis for Compositional Microprogram Control Units

In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator ...

Continue reading
978-3-540-69407-6
Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...

Continue reading
978-3-540-31650-3
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
978-3-540-89439-1
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
978-3-540-73445-1
Logic, Language, Information and Computation

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

Continue reading
978-3-540-69937-8
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
978-3-540-75144-1
Logic, Language, and Computation

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

Continue reading
978-1-4020-3167-0
Logic, Thought and Action

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

Continue reading
978-3-540-71410-1
Logic-Based Program Synthesis and Transformation

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

Continue reading
978-3-540-78769-3
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
978-3-540-35468-0
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
978-3-540-48199-7
Logical Aspects of Computational Linguistics

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

Continue reading
978-3-540-31953-5
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
978-3-540-32446-1
Logical Foundations for Rule-Based Systems

The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide ...

Continue reading
978-3-540-72734-7
Logical Foundations of Computer Science

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

Continue reading
978-3-540-87803-2
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...

Continue reading
978-3-540-34625-8
Long Memory in Economics

When applying the statistical theory of long range dependent (LRD) processes to economics, the strong complexity of macroeconomic ...

Continue reading
978-981-15-3009-8
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
Total Books: 2841 - 2860 /4928