Title: Compositionality
Subjects: Parallel processing (Electronic computers), Congresses, Automatic theorem proving