Search results

Jump to navigation Jump to search
  • * Florian Eggenhofer
    646 bytes (83 words) - 13:54, 25 July 2017
  • * Florian Hartwig
    2 KB (252 words) - 12:47, 23 September 2014
  • | Florian Hartwig ||
    3 KB (401 words) - 20:00, 4 June 2014
  • Florian Grunert <fgrunert ätt uni-osnabrueck dot de>
    8 KB (1,161 words) - 08:26, 1 December 2018
  • :Florian Stenger and Janis Voigtländer. International Conference on Typed Lambda Ca
    26 KB (3,569 words) - 10:04, 1 September 2022
  • ...aboratories was an independent game development studio, founded in 2009 by Florian Hofer and Sönke Hahn. Their first game, "Nikki and the Robots" was releas
    49 KB (6,836 words) - 08:57, 19 October 2020
  • ...unctional Programming with Isabelle/HOL], Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök and John Matthews (page 15 of 16).</small><!-- 2008
    61 KB (9,234 words) - 04:14, 5 April 2024