Columbia subject headings:
Automatic theorem proving--Congresses.
Logic, Symbolic and mathematical--Congresses.
Nonclassical mathematical logic--Congresses.
Harvard subject headings:
Automatic theorem proving--Congresses.
Logic, Symbolic and mathematical--Congresses.
Nonclassical mathematical logic--Congresses.
Princeton subject headings:
Automatic theorem proving--Congresses.
Logic, Symbolic and mathematical--Congresses.
Nonclassical mathematical logic--Congresses.