Columbia subject headings:
Artificial intelligence--Congresses.
Automatic theorem proving--Congresses.
Digital computer simulation--Congresses.
Functional programming (Computer science)--Congresses.
Parallel processing (Electronic computers)--Congresses.
Harvard subject headings:
Automatic theorem proving--Congresses.
Computer programming--Congresses
Computer simulation--Congresses
Functional programming (Computer science)--Congresses.
Parallel programming (Computer science)--Congresses.
Princeton subject headings:
Automatic theorem proving--Congresses.
Computer programming--Congresses.
Computer simulation--Congresses.
Functional programming (Computer science)--Congresses.
Parallel programming (Computer science)--Congresses.