Electronic Books

Total Books: 221 - 240 /420

Logic Based Program Synthesis and Transformation (vol. # 3573)

In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...

Logic Programming

The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...

Logic Programming (vol. # 3668)

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...

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

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 (vol. # 3835)

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

Logic, Language, and Computation

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

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

Logical Foundations of Computer Science

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

MDATA: A New Knowledge Representation Model

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

Machine Learning and Knowledge Extraction : 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17–20, 2021, Proceedings

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

Massively Multi-Agent Systems I

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

Mathematical Foundations of Computer Science 2006

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

Mathematical Foundations of Computer Science 2007

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

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 Knowledge Management (vol. # 4108)

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

Mathematical Linguistics

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

Mathematical Problems from Applied Logic I

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

Total Books: 221 - 240 /420