Electronic Books

Total Books: 341 - 360 /603

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

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

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

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

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

Total Books: 341 - 360 /603