1 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
ВКЛАД А.Е. КАРЛИНСКОГО В ГЕНЕРАЛИЗАЦИЮ НАУЧНЫХ ИДЕЙ ... : А.Е. КАРЛИНСКИЙДІҢ ҒЫЛЫМИ ИДЕЯЛАРДЫҢ ЖАЛПЫ ҚОРЫТЫЛУЫНА ҚОСҚАН ҮЛЕСІ ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Does the linguistic expectancy bias extend to a second language?
|
|
|
|
BASE
|
|
Show details
|
|
4 |
La recherche du particulier ... : Wittgenstein, Proust, Bakhtine ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Self-Presentation and Language Abstraction in Recruitment Context
|
|
|
|
In: EISSN: 2083-8506 ; Psychology of Language and Communication ; https://hal-univ-tlse3.archives-ouvertes.fr/hal-03641767 ; Psychology of Language and Communication, Sciendo 2020, 24 (1), pp.79-89. ⟨10.2478/plc-2020-0005⟩ (2020)
|
|
BASE
|
|
Show details
|
|
7 |
Análisis estructural de la filosofía jurídica hegeliana ; Structural analysis of hegelian legal philosophy
|
|
Espinosa Ares, Juan Manuel. - : Instituto Teológico de Cáceres, 2020. : Universidad de Extremadura, 2020. : Editorial Sindéresis, 2020
|
|
BASE
|
|
Show details
|
|
10 |
A teoria da linguagem de Émile Benveniste : uma abertura para os estudos em aquisição da linguagem ; Émile Benveniste's theory of language : an opening to language acquisition studies
|
|
|
|
BASE
|
|
Show details
|
|
11 |
The Well-Tempered Memorial: Abstraction, Anthropomorphism, Embodiment
|
|
A. Pinotti. - : Amsterdam University Press, 2020. : place:Amsterdam, 2020
|
|
BASE
|
|
Show details
|
|
13 |
Comunicação de estereótipos em bilingues de português europeu (L1) e de inglês (L2)
|
|
|
|
BASE
|
|
Show details
|
|
14 |
Coordination of Multiple Autonomous Agents Using Naturally Generated Languages in Task Planning
|
|
|
|
In: Applied Sciences ; Volume 9 ; Issue 17 (2019)
|
|
BASE
|
|
Show details
|
|
17 |
Pansentient Monism: Formulating Panpsychism as a Genuine Psycho-Physical Identity Theory
|
|
Hughes, P. - : University of Exeter, 2019. : Sociology, Philosophy, and Anthropology, 2019
|
|
BASE
|
|
Show details
|
|
18 |
С. ЖИЖЕК О БЕССОЗНАТЕЛЬНЫХ ПРЕДПОСЫЛКАХ ИДЕОЛОГИИ ; С. ЖИЖЕК ПРО НЕСВІДОМІ ПЕРЕДУМОВИ ІДЕОЛОГІЇ ; S. ZIZEK ABOUT UNCOUSCIOUS PRECONDITIONS OF IDEOLOGY
|
|
|
|
In: "Вісник НЮУ імені Ярослава Мудрого". Серія: Філософія, філософія права, політологія, соціологія; Том 2, № 41 (2019); 132-141 ; “The Bulletin of Yaroslav Mudryi NLU”. Series: Philosophy, philosophy of law, political science, sociology; Том 2, № 41 (2019); 132-141 ; «Вестник НЮУ имени Ярослава Мудрого». Серия: философия, философия права, политология, социология; Том 2, № 41 (2019); 132-141 ; 2663-5704 ; 2075-7190 (2019)
|
|
BASE
|
|
Show details
|
|
19 |
Influence of Mood on Language Use in Dyadic Social Interaction
|
|
|
|
In: Brescia Psychology Undergraduate Honours Theses (2019)
|
|
BASE
|
|
Show details
|
|
20 |
Robert Smithson and Cybernetics: Language, Technology and Abstraction ... : Robert Smithson und Kybernetik: Sprache, Technologie und Abstraktion ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|