Women And Scuba Diving

Autor: Cresswell, J. E., St. Leger-Dowse, M.

Publikováno v: BMJ: British Medical Journal, 1991 Jun . 302(6792), 1590-1591.

Externí odkaz: https://www.jstor.org/stable/29712088

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Towards Machine-Verified Proofs for I/O

Autor: Dowse, M., Butterfield, A., Eekelen, M.C.J.D. van, Mol, M.J. de, Plasmeijer, M.J., Grelck, C., Huch, F.

Publikováno v: Grelck, C.; Huch, F. (ed.), Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, 469-480. [S.l.] : Christian-Albrechts-Universitaet zu Kiel
STARTPAGE=469;ENDPAGE=480;TITLE=Grelck, C.; Huch, F. (ed.), Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04
Grelck, C.; Huch, F. (ed.), Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, pp. 469-480

Contains fulltext : 60288.pdf (Author’s version preprint ) (Open Access) In functional languages, the shape of the external world affects both our understanding of I/O and how we would wish to have I/O expressed. This paper takes the first tentativ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ceb01237614d09f551a05e5dede7d7b6
http://hdl.handle.net/2066/60288

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

The combined oral contraceptive pill and the assumed 28-day cycle.

Autor: St Leger Dowse, M., Gunby, A., Moncad, R., Fife, C., Smerdon, G., Bryson, P.

Publikováno v: Journal of Obstetrics & Gynaecology; Jul2007, Vol. 27 Issue 5, p481-484, 4p, 2 Graphs