1 |
Modeling human-like morphological prediction
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2022)
|
|
BASE
|
|
Show details
|
|
3 |
Improving Automation for Higher-Order Proof Steps
|
|
|
|
In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Актуальные схемы мошенничества при получении налогового вычета и способы противодействия им ... : Current Schemes of Fraud in Obtaining a Tax Deduction and Ways to Counteract Them ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
ПРАВОВАЯ ПОЛИТИКА РОССИЙСКОЙ ФЕДЕРАЦИИ В СФЕРЕ РАЗВИТИЯ ЧАСТНОГО ИНВЕСТИРОВАНИЯ ... : Legal policy of the Russian Federation in the field of private investment development ...
|
|
Е. В. Юдина. - : Правовая политика и правовая жизнь, 2021
|
|
BASE
|
|
Show details
|
|
9 |
Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools
|
|
|
|
In: Mathematics ; Volume 9 ; Issue 20 (2021)
|
|
BASE
|
|
Show details
|
|
10 |
On Sellars' exam question trilemma: are Kant's premises analytic, or synthetic a priori, or a posteriori?
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Analysing scientific discourse from a systemic functional linguistic perspective : a framework for exploring knowledge building in biology
|
|
|
|
BLLDB
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
12 |
Proof-theoretic aspects of NLλ
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
15 |
A Semantic Characterization for ASP Base Revision
|
|
|
|
In: ISSN: 1076-9757 ; Journal of Artificial Intelligence Research ; https://hal-amu.archives-ouvertes.fr/hal-02392942 ; Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2019, 66, pp.989 - 1029 (2019)
|
|
BASE
|
|
Show details
|
|
16 |
Epistemic modals, deduction, and factivity: New insights from the epistemic future
|
|
|
|
In: Proceedings of the 29th Semantics and Linguistic Theory Conference ; Semantics and Linguistic Theory (SALT) 29 ; https://hal.archives-ouvertes.fr/hal-02428030 ; Semantics and Linguistic Theory (SALT) 29, UCLA, May 2019, Los Angeles, United States. pp.351-370, ⟨10.3765/salt.v28i0.4422⟩ ; https://journals.linguisticsociety.org/proceedings/index.php/SALT/article/view/29.351 (2019)
|
|
BASE
|
|
Show details
|
|
17 |
IN SEARCH OF LOGIC IN TRANSLATION: INDUCTION, DEDUCTION OR ABDUCTION? ...
|
|
|
|
BASE
|
|
Show details
|
|
18 |
IN SEARCH OF LOGIC IN TRANSLATION: INDUCTION, DEDUCTION OR ABDUCTION? ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
Preference inference based on lexicographic and Pareto models
|
|
|
|
BASE
|
|
Show details
|
|
|
|