dc.date.accessioned | 2013-03-12T08:12:25Z | |
dc.date.available | 2013-03-12T08:12:25Z | |
dc.date.issued | 1995 | en_US |
dc.date.submitted | 2007-01-17 | en_US |
dc.identifier.uri | http://hdl.handle.net/10852/9597 | |
dc.language.iso | nob | en_US |
dc.publisher | Universitetet i Oslo, Institutt for informatikk | |
dc.relation.haspart | 1:1995 Kristiansen, Lars (1995). Første ordens teorier og grunnleggende rekursjonsteori http://urn.nb.no/URN:NBN:no-14080 | en_US |
dc.relation.haspart | 2:1998 Kristiansen, Lars (1998). Første ordens teorier og grunnleggende rekursjonsteori http://urn.nb.no/URN:NBN:no-14081 | en_US |
dc.relation.uri | http://urn.nb.no/URN:NBN:no-14080 | en_US |
dc.relation.uri | http://urn.nb.no/URN:NBN:no-14081 | en_US |
dc.title | Kompendium | en_US |
dc.type | Series | en_US |
dc.date.updated | 2012-09-14 | en_US |
dc.subject.nsi | VDP::420 | en_US |
dc.identifier.urn | URN:NBN:no-18135 | en_US |
dc.type.document | Serietittel | en_US |
dc.identifier.duo | 51769 | en_US |
dc.identifier.bibsys | 980382637 | en_US |