Decision procedures for flat set-theoretical syllogistics: I. General union, powerset and singleton operators

Bibliographic Details
Corporate Author:	International Computer Science Institute
Other Authors:	Cantone, D, Cutello, V
Format:	Book
Language:	English
Published:	1992
Subjects:	Automated deduction Decidability Symbolic computation

Holdings details from Stanford University
Call Number:	123272 ISIL:US-CST

Similar Items