Riis, Søren
Riis, S.
Riis, Søren 1975-
Søren Riis
VIAF ID: 58549964 ( Personal )
Permalink: http://viaf.org/viaf/58549964
Preferred Forms
- 200 _ | ‡a Riis ‡b Søren
- 100 1 _ ‡a Riis, S.
- 100 1 _ ‡a Riis, Søren
-
-
-
- 100 1 _ ‡a Riis, Søren
-
-
- 100 1 _ ‡a Riis, Søren
- 100 1 _ ‡a Riis, Søren
-
-
- 100 0 _ ‡a Søren Riis
4xx's: Alternate Name Forms (4)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Bedre sundhed med AI? | |
Bootstrapping the primitive recursive functions by 47 colours | |
Count(q) does not imply Count(p) | |
Count(q) versus the pigeon-hole principle | |
Finitisation in bounded arithmetic | |
Generating hard tautologies using predicate logic and the symmetric group | |
Hidden markov models and neural networks for speech recognition | |
New waves in philosophy of technology | |
Nye spørgsmål om teknikken | |
Proof theory and complexity PTAC'98 : proceedings | |
Rethinking climate change research clean technology, culture and communication | |
Unframing Martin Heidegger's understanding of technology on the essential connection between technology, art, and history | |
Uniformly generated submodules of permutation modules | |
Zur Neubestimmung der Technik. | |
Zur Neubestimmung der Technik : eine Auseinandersetzung mit Martin Heidegger | |
A ¤complexity gap for tree-resolution | |
A ¤fractal which violates the axiom of determinacy |