[Club2] Proving Real Valued Inequalities by Computation in Isabelle/HOL

Johannes Hoelzl johannes.hoelzl at gmx.de
Mon Apr 27 13:30:54 CEST 2009

Previous message: [Club2] Heute 14 Uhr im Turing: Mercurial Patch Queues
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Am Mittowch, den 29. April 2009 um 15 Uhr im Alan Turing (00.09.055 )
halte ich im Rahmen meiner Diplomarbeit einen Vortrag über:

   Proving Real Valued Inequalities by Computation in Isabelle/HOL



Johannes

Previous message: [Club2] Heute 14 Uhr im Turing: Mercurial Patch Queues
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Club2 mailing list