Page: 1 2 3 4 5 6 7 8... 460
61 |
Proofs as games and games as proofs : dialogical semantics of logical and natural languages ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03588308 ; Informatique et langage [cs.CL]. Université Montpellier, 2021. Français. ⟨NNT : 2021MONTS064⟩ (2021)
|
|
BASE
|
|
Show details
|
|
62 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
63 |
A categorical study of spectral dualities ; Une étude catégorique des dualités spectrales
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03609605 ; Category Theory [math.CT]. Université de Paris, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
64 |
ПРЕОБРАЗОВАНИЕ СОЗНАНИЯ КАК ПРЕДНАЗНАЧЕНИЕ СОВРЕМЕННОГО ОБРАЗОВАТЕЛЬНОГО ПРОЦЕССА ... : CONSCIOUSNESS TRANSFORMATION AS A PURPOSE OF A MODERN EDUCATIONAL PROCESS ...
|
|
Поляруш А.А.. - : Международный журнал гуманитарных и естественных наук, 2021
|
|
BASE
|
|
Show details
|
|
65 |
Everyday logic about English in applied linguistic research : a topos analysis of conference abstracts on English-medium education ...
|
|
|
|
BASE
|
|
Show details
|
|
69 |
Discovering early de Finetti’s writings on trivalent theory of conditionals ...
|
|
|
|
BASE
|
|
Show details
|
|
70 |
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes
|
|
|
|
BASE
|
|
Show details
|
|
71 |
THE PREREQUISITE FOR SUCCESSFUL DEVELOPMENT OF ECONOMY IS A COMBINATION OF MARKET AND STATE- CONTROLLED FORMS OF ITS ORGANIZATION ...
|
|
|
|
BASE
|
|
Show details
|
|
75 |
Geometric Models for (Temporally) Attributed Description Logics ...
|
|
|
|
BASE
|
|
Show details
|
|
76 |
A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ...
|
|
|
|
BASE
|
|
Show details
|
|
77 |
ВИКОРИСТАННЯ ЕЛЕМЕНТІВ НЕЧІТКОЇ ЛОГІКИ ДЛЯ ОЦІНКИ ЯКОСТІ ПРИРОДНОГО ГАЗУ ... : USING FUZZY LOGIC ELEMENTS TO ASSESS THE QUALITY OF NATURAL GAS ...
|
|
|
|
BASE
|
|
Show details
|
|
78 |
Analyse des retombées intermédiaires d’un dispositif de développement professionnel sur le soutien du développement langagier en centre de la petite enfance
|
|
|
|
BASE
|
|
Show details
|
|
79 |
Vector Space Semantics for Lambek Calculus with Soft Subexponentials ...
|
|
|
|
BASE
|
|
Show details
|
|
Page: 1 2 3 4 5 6 7 8... 460
|
|