Zobrazeno 1 - 10
of 163
pro vyhledávání: '"Giessen A van der"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Aktar, Evin, Venetikidi, Marianna, Bockstaele, Bram van, Giessen, Danielle van der, Pérez‐Edgar, Koraly
Publikováno v:
Developmental Psychobiology; Sep2024, Vol. 66 Issue 6, p1-15, 15p
Publikováno v:
In Journal of the Mechanics and Physics of Solids February 2019 123:332-347
Publikováno v:
Afshari, B. (ed.), THE PROOF SOCIETY: AUTUMN SCHOOL AND WORKSHOP (TPS2022), 7-12 November 2022, Utrecht, The Netherlands, 43-44. Utrecht; Amsterdam : Evert Willem Beth Foundation
STARTPAGE=43-44;TITLE=Afshari, B. (ed.), THE PROOF SOCIETY: AUTUMN SCHOOL AND WORKSHOP (TPS2022), 7-12 November 2022, Utrecht, The Netherlands
STARTPAGE=43-44;TITLE=Afshari, B. (ed.), THE PROOF SOCIETY: AUTUMN SCHOOL AND WORKSHOP (TPS2022), 7-12 November 2022, Utrecht, The Netherlands
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6928067c43041d39c586dfe502a6e417
http://hdl.handle.net/2066/286464
http://hdl.handle.net/2066/286464
Publikováno v:
Fundamenta Informaticae, 170, 139-176
Fundamenta Informaticae, 170(1-3), 139
Fundamenta Informaticae, 170, 1-3, pp. 139-176
Fundamenta Informaticae, 170(1-3), 139
Fundamenta Informaticae, 170, 1-3, pp. 139-176
We present a proof of strong normalization of proof-reduction in a general system of natural deduction called truth table natural deduction. In previous work, we have defined truth table natural deduction, which is a method for deriving intuitionisti
Autor:
Muller, E.R., Giessen, M. van der, Kamphuis, P.H., Rosenthal, U., Valk, G., Vermetten, H.J.G.M.
Publikováno v:
Veteranen: veteranen en veteranenbeleid in Nederland, 235-251. Deventer: Wolters Kluwer
STARTPAGE=235;ENDPAGE=251;TITLE=Veteranen: veteranen en veteranenbeleid in Nederland
STARTPAGE=235;ENDPAGE=251;TITLE=Veteranen: veteranen en veteranenbeleid in Nederland
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9d3255ecbf61913fee87eee19a833213
https://hdl.handle.net/1887/3285136
https://hdl.handle.net/1887/3285136
Autor:
Pijnacker R, Joosten R, Janse I, Brandwagt D, Fanoy E, Dam S van, Petrignani M, Weijden C van der, Schets F, Giessen J van der, Rijckevorsel G van, Tulen A, Pelt J van, Winkeler L, Kraaijeveld A, Goris M, Franz E
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::8669c4d1e3883c3aba9726e8e8e6de70
http://hdl.handle.net/10029/622738
http://hdl.handle.net/10029/622738
Autor:
Muller, E.R., Giessen, M. van der, Kamphuis, P.H., Rosenthal, U., Valk, G., Vermetten, H.J.G.M.
Publikováno v:
Handboeken Veiligheid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::da2b74f61b2ca6136ef06c49bbf1f70e
https://hdl.handle.net/1887/3278439
https://hdl.handle.net/1887/3278439
Autor:
Muller, E.R., Giessen, M. van der, Kamphuis, P.H., Rosenthal, U., Valk, G., Vermetten, H.J.G.M.
Publikováno v:
Veteranen: veteranen en veteranenbeleid in Nederland, 557-561. Deventer: Wolters Kluwer
STARTPAGE=557;ENDPAGE=561;TITLE=Veteranen: veteranen en veteranenbeleid in Nederland
STARTPAGE=557;ENDPAGE=561;TITLE=Veteranen: veteranen en veteranenbeleid in Nederland
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9619cf159882de78c85ee2004fb0889f
https://hdl.handle.net/1887/3285137
https://hdl.handle.net/1887/3285137