5 treff

Vestby kirke og prestegård : gården som ga bygda navn
Bjørn Linnestad
Bok Bokmål 2010
Applying lemmas and conjecturers [i.e. conjectures] in high-order [i.e. higher-order] proof by consistency
Henrik Linnestad
Bok Engelsk 1997
On the modularity of termination for composable many-sorted term rewrite systems
Henrik Linnestad
Bok Engelsk 1997
Term rewriting techniques for equational reasoning
Henrik Linnestad
Bok Engelsk 1997 · Les boka på nett
Hvitsten and Son : the ports and sailing ships of Vestby
Bjørn Linnestad ; [translated from the No...
Bok Engelsk 1989