I agree that this site is using cookies. You can find further informations here.
X
Pientka, Rebecca
7  results:
Search for persons X
?
1

Lernereigenschaften von Präsenz- und Fernstudierenden und d..:

Pientka, Rebecca ; Müller, Nadja ; Seufert, Tina
Zeitschrift Hochschule und Weiterbildung.  , 2016
Link: https://nbn-resolving.or..
Copies:  Zentrale:Magazin Zs fe 4666
 
?
2

Zeitschrift Hochschule und Weiterbildung (ZHWB) / Lernereig..:

Pientka, Rebecca
vignette : https://noah.nrw/titlepage/doi/10.4119/zhwb-175/128.  , 2017
Link: https://doi.org/10.4119/..
 
?
3

Lernereigenschaften von Präsenz- und Fernstudierenden und d..:

Pientka, Rebecca ; Müller, Nadja ; Seufert, Tina
https://www.hochschule-und-weiterbildung.net/index.php/zhwb/article/view/175/164.  , 2017
Link: https://www.hochschule-u..
 
?
4

Lernereigenschaften von Präsenz- und Fernstudierenden und d..:

Rebecca Pientka ; Nadja Müller ; Tina Seufert
https://www.hochschule-und-weiterbildung.net/index.php/zhwb/article/view/175.  , 2017
Link: https://doi.org/10.4119/..
 
?
5

A type theory for defining logics and proofs:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,
Pientka, Brigitte ; Thibodeau, David ; Abel, Andreas.. - p. 1-13 , 2019
Link: https://dl.acm.org/doi/1..
 
?
6

Cocon: Computation in Contextual Type Theory:

Pientka, Brigitte ; Abel, Andreas ; Ferreira, Francisco..
http://arxiv.org/abs/1901.03378.  , 2019
Link: http://arxiv.org/abs/190..
 
?
7

A Type Theory for Defining Logics and Proofs:

Pientka, Brigitte ; Thibodeau, David ; Abel, Andreas..
http://arxiv.org/abs/1905.02617.  , 2019
Link: http://arxiv.org/abs/190..
 
1-7