Title: Logical environments
Subjects: Congresses, Symbolic and mathematical Logic, Artificial intelligence, Automatic theorem proving, Logic, symbolic and mathematical, Frames (Information theory), Logic, Computer science, Mathematics, Logic programming