Columbia subject headings:
Automatic theorem proving--Congresses.
Information storage and retrieval systems--Mathematics--Congresses.
Mathematics--Data processing--Congresses.
Harvard subject headings:
Artificial intelligence.
Automatic theorem proving--Congresses.
Computer networks
Computer science.
Database management
Information storage and retrieval systems
Information storage and retrieval systems--Mathematics--Congresses.
Mathematics--Data processing--Congresses
Mathematics.
Princeton subject headings: