DE eng

Search in the Catalogues and Directories

Hits 1 – 13 of 13

1
From the Formal Definition of Concept to the Linguistic Definition of Term ; De la définition formelle du concept à la définition en langue du terme
In: ISSN: 2299-7164 ; EISSN: 2353-3218 ; Academic Journal of Modern Philology ; https://hal.archives-ouvertes.fr/hal-03549751 ; Academic Journal of Modern Philology, Uniwersytet Wroctawski, 2021, ⟨10.34616/ajmp.2021.13⟩ (2021)
BASE
Show details
2
Metaphors of emotions: towards a data-driven formalization ; Метафори емоцій: на шляху до формалізації, що базується на мовних даних
In: MESSENGER of Kyiv National Linguistic University. Series Philology; Vol. 24 No. 1 (2021); 33-48 ; ВІСНИК Київського національного лінгвістичного університету. Серія Філологія; Том 24 № 1 (2021); 33-48 ; 2415-7333 ; 2311-0821 ; 10.32589/2311-0821.1. (2021)
BASE
Show details
3
A Language Agnostic Approach to Modeling Requirements: Specification and Verification
In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020)
BASE
Show details
4
OntoCork
In: https://hal.archives-ouvertes.fr/hal-03106503 ; 2020, https://github.com/GuidaRamos/OntoCork. ⟨10.34619/a27q-1ryd⟩ (2020)
BASE
Show details
5
OntoCork
BASE
Show details
6
What Does This Notation Mean Anyway? ; What Does This Notation Mean Anyway?: MBNF-Style Notation as it is Actually Used
In: 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice ; https://hal.inria.fr/hal-01812800 ; 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom (2018)
BASE
Show details
7
Pure quotation and general compositionality
In: Linguistics and philosophy. - Dordrecht [u.a.] : Springer 33 (2010) 5, 381-415
BLLDB
OLC Linguistik
Show details
8
Semantyka formalna i pragmatyka: przegla̜d wybranych definicji
In: Polskie Towarzystwo Językoznawcze. Biuletyn Polskiego Towarzystwa Je̜zykoznawczego. - Warszawa : Energeia 64 (2008), 9-24
BLLDB
Show details
9
Formal definition and construction of nominative signature
In: Faculty of Informatics - Papers (Archive) (2007)
BASE
Show details
10
Informatik als Grundbildung : Teil V: Namensgebung und Kennzeichnung
In: Informatik-Spektrum. - Berlin ; Heidelberg [u.a.] : Springer 27 (2004) 6, 551-556
BLLDB
Show details
11
Toward Formalizing Structured Analysis
In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998)
BASE
Show details
12
A Family of Syntax Definition Formalisms
In: http://www.cs.uu.nl/~visser/ftp/P9504-7.ps.gz (1995)
BASE
Show details
13
Deutung und Bedeutung : zur logischen Semantik philosophischer Terminologie
Kreiser, Lothar. - Berlin : Akademie-Verlag, 1986
BLLDB
UB Frankfurt Linguistik
Show details

Catalogues
1
0
1
0
0
0
0
Bibliographies
4
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
9
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern