Columbia subject headings:
Artificial intelligence--Congresses.
Logic programming--Congresses.
Nonclassical mathematical logic--Congresses.
Proof theory--Congresses.
Harvard subject headings:
Artificial intelligence--Congresses
Logic programming--Congresses.
Nonclassical mathematical logic--Congresses.
Proof theory--Congresses.
Princeton subject headings:
Artificial intelligence--Congresses.
Logic programming--Congresses.
Nonclassical mathematical logic--Congresses.
Proof theory--Congresses.