Electronic Books

Total Books: 21 - 31 /31

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

Logical Foundations of Computer Science

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

Mechanizing Mathematical Reasoning

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

SAT 2005

This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...

Term Rewriting and Applications

This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...

Term Rewriting and Applications (vol. # 3467)

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...

Towards Mechanized Mathematical Assistants

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...

Typed Lambda Calculi and Applications

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...

Total Books: 21 - 31 /31