Biblio: söktermen namn=('Wright, Jockum von') gav 1 träffar
1.
Wright, Jockum von
/ Institutionen för informationsbehandling
Representing higher order logic proofs in HOL / J. von Wright.
- Ingår i: The computer journal, ISSN 0010-4620, 38 (1995) nr. 2, s. 171-179.
![[Sökformulär]](/icon/sok.gif){kind=icon}
![[Info om databasen]](/icon/info2.gif){kind=icon}
![[Söktips]](/icon/soktips.gif){kind=icon}