Roskilde - PDFSEARCH.IO - Document Search Engine

Roskilde
Results: 810

#	Item
41	INTERNATIONAL HELPDESK AU ROSKILDE FOR ENVS AND BIOS AARHUS UNIVERSITY ROSKILDE Frederiksborgvej 399, 4000 Roskilde, Denmark Add to Reading List Source URL: ias.au.dk Language: English - Date: 2015-09-30 03:02:57
42	Artificial Intelligence and Intelligent Systems: Logic programming as a framework for Knowledge Representation and Artificial Intelligence Henning Christiansen Roskilde University, Computer Science Section c 2006 Add to Reading List Source URL: akira.ruc.dk Language: English - Date: 2006-11-26 12:02:58
43	Hybrid-Logical Proofs: With an Application to the Sally-Anne Test Torben Bra¨ uner Roskilde University Denmark Add to Reading List Source URL: modalityandmodalities.weebly.com Language: English - Date: 2014-05-23 17:16:41
44	Second-order reasoning skills in Theory of Mind and linguistic tests Irina Polyanskaya Roskilde University (RUC) In this talk I will discuss the design of a training experiment involving Add to Reading List Source URL: cadillac-dk.weebly.com - Date: 2015-05-25 15:23:55
45	Hilbert’s non-formalistic view of mathematics S"g Andur Pedersen Sec"on for Philosophy and Science Studies Roskilde University Add to Reading List Source URL: cadillac-dk.weebly.com Language: English - Date: 2014-06-13 14:47:11
46	2 Information and Diversity Klaus Frovin Jørgensen, Section for Philosophy and Science Studies, Roskilde University Add to Reading List Source URL: akira.ruc.dk Language: English - Date: 2005-02-08 07:45:22
47	Konstruktive aspekter af matematikken PhD-stipendiat Klaus Frovin Jørgensen Afdeling for Filosofi og Videnskabsteori Roskilde Universitet Juni 2002 Mod slutningen af 1880erne beviste David Hilbert det for tiden vigtigst Add to Reading List Source URL: akira.ruc.dk Language: Danish - Date: 2005-02-08 07:45:24
48	IMFUFA, Roskilde Universitetscenter, postboks 260, DK-4000 Roskilde, Danmark Bevisteori – Eksemplif iceret ved Gentzens bevis for konsistensen af teorien om de naturlige tal Projektrapport udarbejdet af Gitte Andersen, Add to Reading List Source URL: akira.ruc.dk Language: Danish - Date: 2000-05-31 04:55:24
49	Perspectives on perspective Patrick Blackburn Section of Philosophy and Science Studies Roskilde University (RUC) Add to Reading List Source URL: cadillac-dk.weebly.com Language: English - Date: 2015-05-25 15:30:05
50	PREFACE T his volume in the Synthese Library Series is the result of a conference held at the University of Roskilde, Denmark, October 31st—November Add to Reading List Source URL: akira.ruc.dk Language: English - Date: 2000-05-29 17:50:24

UPDATE