1 “...rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel...”

2 Subjects: “...computer-aided design of structure...”

3 Subjects: “...multiple criteria decision aid...”

4 “.... This course book offers a portion of the original Latin text, study aids with vocabulary, and a commentary...”

5 Subjects: “...Educational equipment and technology, computer-aided learning (CAL) / bicssc...”

6 Subjects: “...emergency aid...”

7 Subjects: “...Educational equipment & technology, computer-aided learning (CAL) / bicssc...”

8 Subjects: “... and technology, computer-aided learning (CAL)...”

9 Subjects: “...Educational equipment and technology, computer-aided learning (CAL) / bicssc...”

10 Subjects: “...computer aid...”

11 “... description of how the sign is formed, as well as a memory aid that connects the sign visually to the meaning...”

12 “... description of how the sign is formed, as well as a memory aid that connects the sign visually to the meaning...”

13 “... Studies and thus aid in extending its reach within the field of translation studies and thus in making our...”

14 “... of painting, instrumental music, mathematical equations, and guided tours are illuminated with the aid...”

15 “... translation? With the aid of a parallel corpus, qualitative and quantitative research methods...”

16 “... to illuminate the details of the phrase structure of the verbal predicate. These data also aid in understanding...”

17 “.... These innovations must be distributed to aid the development of society in the sphere of education and beyond. After...”

18

19 Table of Contents: “... Alignment for Machine Aided Translation -- Iterative Alignment of Syntactic Structures for a Bilingual...”

20