@Misc{            Krivine:2012aa,
  Author        = "Krivine, Jean-Louis",
  date-added    = "2017-12-19 12:50:58 +0000",
  date-modified = "2017-12-19 12:52:12 +0000",
  Institution   = "Equipe PPS, Universit{\'e} Paris 7, CNRS",
  Keywords      = "slides",
  Month         = "March",
  Title         = "Du programme de Hilbert aux programmes informatiques",
  Year          = "2012",
  File          = "Bordeaux-Slides (0) - a - a - e.pdf"
}

@Misc{ Krivine:2012aa, Author = "Krivine, Jean-Louis", date-added = "2017-12-19 12:50:58 +0000", date-modified = "2017-12-19 12:52:12 +0000", Institution = "Equipe PPS, Universit{\'e} Paris 7, CNRS", Keywords = "slides", Month = "March", Title = "Du programme de Hilbert aux programmes informatiques", Year = "2012", File = "Bordeaux-Slides (0) - a - a - e.pdf" }