Electronic Books

Total Books: 6/6
Functional and Logic Programming

This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...

Lee mas
Mathematics of Program Construction

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

Lee mas
Rewriting, Computation and Proof

This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...

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

Lee mas
Theorem Proving in Higher Order Logics

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...

Lee mas
Types for Proofs and Programs

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

Lee mas
Total Books: 6/6