Works matching IS 15614042 AND DT 2016 AND VI 24 AND IP 3
Results: 7
Executable choreographies applied in OPERANDO.
- Published in:
- Computer Science Journal of Moldova, 2016, v. 24, n. 3, p. 417
- By:
- Publication type:
- Article
Natural Language Processing versus Logic. Pros and cons on the dispute whether logic is useful in the computational interpretation of language.
- Published in:
- 2016
- By:
- Publication type:
- Essay
Proving Properties of Programs on Hierarchical Nominative Data.
- Published in:
- Computer Science Journal of Moldova, 2016, v. 24, n. 3, p. 371
- By:
- Publication type:
- Article
Insertion Modeling and Its Applications.
- Published in:
- Computer Science Journal of Moldova, 2016, v. 24, n. 3, p. 357
- By:
- Publication type:
- Article
About Applications of Distances on Monoids of Strings.
- Published in:
- Computer Science Journal of Moldova, 2016, v. 24, n. 3, p. 335
- By:
- Publication type:
- Article
“The absence of the difference from a pot is potness” – Axiomatic Proofs of Theorems Concerning Negative Properties in Navya-Nyāya.
- Published in:
- Computer Science Journal of Moldova, 2016, v. 24, n. 3, p. 312
- By:
- Publication type:
- Article
Propositional inquisitive logic: a survey.
- Published in:
- Computer Science Journal of Moldova, 2016, v. 24, n. 3, p. 295
- By:
- Publication type:
- Article