Roskilde

Results: 810



#Item
51

Construction and Schemata in Mathematics Klaus Frovin Jørgensen Section for Philosophy and Science Studies Roskilde University Recently I read Patrick Suppes claiming that “the most important open scandal in philosoph

Add to Reading List

Source URL: akira.ruc.dk

Language: English - Date: 2006-08-25 09:20:04
    52

    Kant and the natural numbers Klaus Frovin Jørgensen Section for Philosophy and Science Studies, Roskilde University 1 Introduction The ontological status of mathematical objects is perhaps the most important unsolved pr

    Add to Reading List

    Source URL: akira.ruc.dk

    Language: English - Date: 2006-08-25 09:20:14
      53

      Henning Christiansen Sprog og abstrakte maskiner 3. reviderede udgave ROSKILDE U NIVERSITETSCENTER , DATALOGI — M ODUL 2, 2000

      Add to Reading List

      Source URL: akira.ruc.dk

      Language: Danish - Date: 2012-11-28 09:26:32
        54

        Indexical Hybrid Tense Logic Patrick Blackburn Section for Philosophy and Science Studies Roskilde University Klaus Frovin Jørgensen

        Add to Reading List

        Source URL: www.patrickblackburn.org

        Language: English - Date: 2012-08-31 04:03:07
          55

          BETWEEN THE FINITARY AND THE IDEAL Klaus Frovin Jørgensen Section for Philosophy and Science Studies Roskilde University – Denmark Within contemporary philosophy of mathematics there is a trend focussing

          Add to Reading List

          Source URL: akira.ruc.dk

          Language: English - Date: 2005-02-08 07:45:22
            56

            Report – NERRI MLE Roskilde 2045 A look into the future 1

            Add to Reading List

            Source URL: www.nerri.eu

            Language: English - Date: 2015-09-24 05:49:51
              57

              Hybrid Logic and ‘Now’ (Extended Abstract) Patrick Blackburn and Klaus Frovin Jørgensen Department for Philosophy and Science Studies Roskilde University

              Add to Reading List

              Source URL: conference.prior.aau.dk

              Language: English - Date: 2014-08-18 11:50:06
                58

                From Use Cases to UML Class Diagrams using Logic Grammars and Constraints Henning Christiansen Roskilde University Christian Theil Have

                Add to Reading List

                Source URL: akira.ruc.dk

                Language: English - Date: 2009-08-26 10:02:32
                  59

                  CBack: A Simple Tool for Backtrack Programming in C KELD HELSGAUN Department of Computer Science, Roskilde University, DK-4000 Roskilde, Denmark (email: )

                  Add to Reading List

                  Source URL: www.akira.ruc.dk

                  Language: English - Date: 2004-04-19 11:50:28
                    60

                    Kulturnyhed fra Kulturpressen ROSKILDE AIRSHOWdet største Airshow i Danmark med aftenopvisning Roskilde Airshow er i år udvidet med én dag og starter en fantastisk weekend fredag den 14. august med

                    Add to Reading List

                    Source URL: www.airshow.dk

                    Language: Danish - Date: 2015-06-01 08:36:49
                      UPDATE