[Club2] Mi. 13.1., 15h im 00.11.038: Kamil Ciosek

Alexander Krauss krauss at in.tum.de
Mon Jan 11 16:24:13 CET 2010


Kamil Ciosek spricht über sein IDP zum Thema

   Reelle Quantoreneliminierung in Isabelle/HOL

und stellt seine Beweisproduzierende Entscheidungsprozedur vor.

Zeit: 13.1.09, 15 Uhr
Ort: MI 00.11.038 ("John v. Neumann")





More information about the Club2 mailing list