IRO meeting 2011 OSLO-program FINAL

First Page		Document Content
Date: 2011-04-29 09:01:07 Blindern Unica Georg Sverdrup Oslo University of Oslo Norway Geography of Europe		IRO meeting 2011 OSLO-program FINAL Add to Reading List Source URL: www.unica-network.eu Download Document from Source Website File Size: 174,37 KB Share Document on Facebook

	A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, and Ingrid Chieh Yu Department of Informatics, University of Oslo P.O. Box 1080 Blindern, N-0316 DocID: 1uQLB - View Document
	Norsk Selskap for Farmakologi og Toksikologi Norwegian Society of Pharmacology and Toxicology c/o Department of Pharmacology, University of Oslo, P.O.Box 1057 Blindern, N-0316 Oslo, Norway Member of EPHAR IUPHAR EUROTOX DocID: 1uFC4 - View Document
	NYTT OM NAMN Meldingsblad for Med rapport frå konferansen «Names and identities II» Blindern 21. november 2008 DocID: 1s4hd - View Document
	Papernumber: 001 (Assigned by Journal editor) The Lighthouse – Innovating the Systems Sciences System Dino Karabeg Institute for Informatics, University of Oslo, POB1080 Blindern, Oslo, N DocID: 1qtiZ - View Document
	A DECISION-MAKING(TOOL FOR LAND EVALUATION IN THE DEVELOPING COUNTRIES Peder Anker, Margaret Robb.i Geir-Harald Strand and Bo Wang, Norwegian Computing Center, P.O. Box 335 Blindern, DocID: 1pp2N - View Document