Coenzyme Q10 (CoQ10) is a fat-soluble compound that is synthesized by the body and can be obtained from the diet. Co-Q10 ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
Lire la suiteThis volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Lire la suiteThis Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
Lire la suiteCommemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Lire la suiteThis volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...
Lire la suiteThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lire la suite