Andrzej Szalas

2 books • 2 series

Apr 17, 2008
Cover of Second-order Quantifier Elimination

Second-order Quantifier Elimination (Studies in Logic: Mathematical Logic and Foundations, v. 12)

Jan 1, 2006
Cover of Knowledge Representation Techniques

Knowledge Representation Techniques (Studies in Fuzziness and Soft Computing, #202)