Treffliste - Linnestad, Henrik - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

8 treff

Sortering

Applying lemmas and conjecturers [i.e. conjectures] in high-order [i.e. higher-order] proof by consistency

Linnestad, Henrik
Inngår i serie: Research report / University of Oslo, Department of Informatics (no. 233)
Bok Engelsk 1997 · Les på nett

Ledig 2/2

On the modularity of termination for composable many-sorted term rewrite systems

Linnestad, Henrik
Inngår i serie: Research report / University of Oslo, Department of Informatics (no. 232)
Bok Engelsk 1997 · Les på nett

Ledig 2/2

Term rewriting techniques for equational reasoning

Linnestad, Henrik
Inngår i serie: Res. rep. / University of Oslo, Department of Informatics (231)
Bok Engelsk 1997 · Les på nett

Ledig 2/2

Vestby kirke og prestegård : gården som ga bygda navn

Linnestad, Bjørn
Bok Bokmål cop. 2010

Ledig 2/2

Fru Inger til Østråt

Ibsen, Henrik
Hørespill
Lydbok på CD Bokmål 2006

Ledig 2/2

Fru Inger til Østråt

Ibsen, Henrik
Lydbok kassett Bokmål 1998

Ledig 1/1

Forsidebilde

Fru Inger til Østråt

Ibsen, Henrik
Lydbok på CD Bokmål 1998

Ledig 2/2

Mer automatikk ga bedre kapasitet

Beate Sloreby
Bokmål
Artikkel Vis mer

Søk og bestill fra andre bibliotek: Biblioteksøk