Treffliste - Linnestad, Henrik - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

7 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

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

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

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

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

Fru Inger til Østråt

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

Fru Inger til Østråt

Ibsen, Henrik
Lydbok kassett Bokmål 1998

Forsidebilde

Fru Inger til Østråt

Ibsen, Henrik
Lydbok på CD Bokmål 1998

Ikke det du leter etter?

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