1 Table of Contents: “... Formalisation of Nonclassical Logics -- 7 Linear Logic -- IV. Programs -- 8 Relational Semantics of Functional...”

2 Table of Contents: “..., and Sequents -- Normalization and Partial Evaluation -- Computing with Real Numbers -- The Join Calculus: A...”

3 Subjects: “...Computer Science Logic and Foundations of Programming...”

4 Subjects: “...Computational Mathematics and Numerical Analysis...”

5 Table of Contents: “...1 The Digital Electronic Computer -- 2 Boolean Algebra -- 3 Logic Function Synthesis -- 4 Basic...”

6 Table of Contents: “... -- Experiences with Parallelizing a Bio-informatics Program on the Cell BE -- Drug Design Issues on the Cell...”

7 Subjects: “...Compilers (Computer programs)...”

8 Table of Contents: “... -- A paradigm for interval-aware programming -- Decoding-free Two-Input Arithmetic for Low-Precision...”

9 Subjects: “...Computational linguistics / Grammatical aspects...”

10 Subjects: “...Computational Linguistics...”

11 Subjects: “...Natural language processing (Computer science) / http://id.loc.gov/authorities/subjects/sh88002425...”

12 “... in the attempt to write a computer program to understand natural language. Lexical ambiguity resolution (LAR...”

13 “... his theory in computer simulations--formal models that suggest ways that language and thought may...”