Electronic Books

Total Books: 341 - 360 /597

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

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

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

This book introduces a new knowledge representation model called MDATA (Multi-dimensional Data Association and inTelligent ...

This book constitutes the refereed proceedings of the 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain ...

This book originates from the First International Workshop on Massively Multi-Agent Systems, MMAS 2004, held in Kyoto, Japan ...

This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer ...

This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...

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

This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, ...

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

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

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

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...

This book is a comprehensive guide to microformats. It explores why—in Bill Gates' words—"We need microformats," how ...

This book introduces a new tool for improving communication and promoting clearer thinking in a world where the use of Global ...

Total Books: 341 - 360 /597