Electronic Books

Total Books: 441 - 460 /841

Logic Programming and Nonmonotonic Reasoning

This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...

Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

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 ...

Logic, Thought and Action

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

Logical Aspects of Computational Linguistics

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

Logical Aspects of Computational Linguistics

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

Logics of Specification Languages

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

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 ...

Machine Learning Challenges

This book constitutes the refereed post-proceedings of the First PASCAL Machine Learning Challenges Workshop, MLCW 2005. ...

Machine Learning Techniques for Multimedia : Case Studies on Organization and Retrieval

This book provides a comprehensive coverage of the most important machine learning techniques used and their application ...

Machine Learning for Multimodal Interaction : 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers

This book contains a selection of revised papers from the 4th Workshop on Machine Learning for Multimodal Interaction (MLMI ...

Machine Learning for Multimodal Interaction : 5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008. Proceedings

The 12 revised full papers and 15 revised poster papers presented together with 5 papers of a special session on user requirements ...

Machines, Computations, and Universality

Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, ...

Making Meaning in English : Exploring the Role of Knowledge in the English Curriculum / David Didau

Making Meaning in English examines the broader purpose and reasons for teaching English and explores what knowledge looks ...

Markov Models for Pattern Recognition : From Theory to Applications

This comprehensive introduction to the Markov modeling framework describes the underlying theoretical concepts - covering ...

Mass Terms: Some Philosophical Problems

MASS TERMS, COUNT TERMS, AND SORTAL TERMS Central examples of mass terms are easy to come by. 'Water', 'smoke', 'gold', ...

Mathematical Approaches to Software Quality

This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...

Mathematical Foundations of Computer Science 2008 : 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...

Mathematical Linguistics

Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians ...

Mathematical Problems from Applied Logic II

Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics ...

Total Books: 441 - 460 /841