Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Jan Terlouw"'
Autor:
Jan Terlouw
A teen boy supports the underground resistance of Nazi-occupied Netherlands in this thrilling WW2 historical fiction novel for kids ages 10-15. This “harrowing and well-plotted” Dutch classic is based on the author's own childhood in Holland duri
Autor:
Jan Terlouw
An award-winning children's classic. A gripping story about the horrors and dilemmas of war As the Second World War approaches its end, the Netherlands is still under Nazi control and any acts of resistance are punishable by death. But when fifteen-y
Autor:
Jan Terlouw
Un clásico impactante. Un libro imprescindible sobre hacerse mayor y sobre la guerra, escrito con inteligencia y sutileza, y lleno de suspense. Invierno de 1944-1945. Holanda se halla bajo el poder de los nazis. La población pasa hambre, y un grupo
Autor:
Jan Terlouw
Publikováno v:
Annals of Pure and Applied Logic, 73(1), 53-78
Tait's proof of strong normalization for the simply typed λ-calculus is interpreted in a general model theoretical framework by means of the specification of a certain theory T and a certain model /oU of T. The argumentation is partly reduced to for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1263f4568ac1bfc6c2931e10b9c1a5a1
https://hdl.handle.net/11370/34ec84d6-a091-4c20-8358-a927b3b98f10
https://hdl.handle.net/11370/34ec84d6-a091-4c20-8358-a927b3b98f10
Publikováno v:
Robust Flight Control ISBN: 9783540761518
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::479c819bfdf5f1450f01ffd88455909a
https://doi.org/10.1007/bfb0113880
https://doi.org/10.1007/bfb0113880
Publikováno v:
Lecture Notes in Control and Information Sciences ISBN: 9783540761518
Robust Flight Control
Robust Flight Control
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1cfc15cda4c9017ddb3122b3469792f6
https://doi.org/10.1007/bfb0113842
https://doi.org/10.1007/bfb0113842
Autor:
Jan Terlouw, Chris Fielding
Publikováno v:
Robust Flight Control ISBN: 9783540761518
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bd2231f7993a79a39b3a8548e8138214
https://doi.org/10.1007/bfb0113845
https://doi.org/10.1007/bfb0113845
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540601173
MPC
MPC
We explore several ways to formalize the algebraic laws of CSP-like languages in HOL. The intent of the paper is to show how HOL can be tailored to acting as a proof assistant. The emphasis is therefore on the consequences of various choices to be ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b6d52ce94ebc2660e31353db86bb5a7
https://doi.org/10.1007/3-540-60117-1_17
https://doi.org/10.1007/3-540-60117-1_17
Publikováno v:
CBMH. Criminal Behaviour and Mental Health, 5, 386-410. Wiley-Blackwell
Criminal behaviour and mental health, 5, 386-410. Wiley-Blackwell
Criminal behaviour and mental health, 5, 386-410. Wiley-Blackwell
This paper addresses to questions. (1) Is there a demonstrable relation between accidents and crime, does this relation hold for each type of crime and each means of transport, and does it subsist after controlling for age and gender? (2) Can social
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e7df9aba7611837e4bb0f420f5ee7e1
https://dare.uva.nl/personal/pure/en/publications/crime-accidents-and-social-control(6461b948-c5ae-4108-a3bf-69a1c62f67ab).html
https://dare.uva.nl/personal/pure/en/publications/crime-accidents-and-social-control(6461b948-c5ae-4108-a3bf-69a1c62f67ab).html
Autor:
Jan Terlouw
Publikováno v:
Journal of Symbolic Logic. 47:395-402
It is known that every
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::651c0cb65e49cb68fd831406a5502588
https://doi.org/10.2307/2273149
https://doi.org/10.2307/2273149