Works matching IS 15120074 AND DT 2020 AND VI 25 AND IP 2
Results: 10
A Logic with Measurable Spaces for Natural Language Semantics.
- Published in:
- Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 1
- By:
- Publication type:
- Article
IN THE EUROPEAN UNION WITH THE GEORGIAN AND ABKHAZIAN LANGUAGES - AIMS, PROBLEMS, RESULTS, AND RECOMMENDATIONS OF THE COMPLETE TECHNOLOGICAL SUPPORT OF THE GEORGIAN AND ABKHAZIAN LANGUAGES.
- Published in:
- Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 147
- By:
- Publication type:
- Article
STAR TYPES: A TYPE SYSTEM FOR PATTERN CALCULUS.
- Published in:
- Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 137
- By:
- Publication type:
- Article
SOLVING TEXTUAL ENTAILMENT WITH THE THEOREM PROVER FOR NATURAL LANGUAGE.
- Published in:
- Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 114
- By:
- Publication type:
- Article
THE SYNTAX-SEMANTICS INTERFACE: FROM MONTAGUE GRAMMAR TO TODAY.
- Published in:
- Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 94
- By:
- Publication type:
- Article
UNIFICATION MODULO α-EQUIVALENCE IN A MATHEMATICAL ASSISTANT SYSTEM.
- Published in:
- Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 66
- By:
- Publication type:
- Article
A SHORT PROOF OF THE DECIDABILITY OF NORMALIZATION IN RECURSIVE PROGRAM SCHEMES.
- Published in:
- Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 61
- By:
- Publication type:
- Article
THE PARALLEL MEANING BANK: A FRAMEWORK FOR SEMANTICALLY ANNOTATING MULTIPLE LANGUAGES.
- Published in:
- Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 45
- By:
- Publication type:
- Article
SHALVA PKHAKADZE - A BRIEF OVERVIEW OF HIS LIFE.
- Published in:
- Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 9
- By:
- Publication type:
- Article
AT THE ORIGINS OF THE FOUNDATION OF I.VEKUA INSTITUTE OF APPLIED MATHEMATICS PROF. SHALVA PKHAKADZE - 100.
- Published in:
- Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 5
- By:
- Publication type:
- Article