Electronic Books

Total Books: 441 - 460 /841

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

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

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

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

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

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

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

Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly ...

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

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

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

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

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

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

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

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

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

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

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

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

Total Books: 441 - 460 /841