Electronic Books

Total Books: 21 - 40 /48

Implementation and Application of Functional Languages

This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...

Implementation and Application of Functional Languages (vol. # 3474)

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ ...

Implementation and Application of Functional Languages (vol. # 4015)

The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...

Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...

Implementation of Functional Languages

This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of ...

International Symposium on Fundamentals of Software Engineering

The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...

Leveraging Applications of Formal Methods

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...

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. # 3452)

This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...

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

Mathematical Knowledge Management (vol. # 3863)

This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...

Mechanizing Mathematical Reasoning

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

Programming Languages and Systems

This volume contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, ...

Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...

Term Rewriting and Applications (vol. # 4098)

PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...

Tests and Proofs

Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...

The Seventeen Provers of the World

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...

Theorem Proving in Higher Order Logics

Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...

Total Books: 21 - 40 /48