Anita Wasilewska
Affiliations: | Computer Science | Stony Brook University, Stony Brook, NY, United States |
Area:
Foundations of Data Mining Data Mining and Knowledge Discovery, Biology and Bioinformatics, Applications for the Automated Theorem Provers, Inductive LearningGoogle:
"Anita Wasilewska"
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Hsiang J, Wasilewska A. (1996) Automating algebraic proofs in algebraic logic Fundamenta Informaticae. 28: 129-140 |
Wasilewska A. (1989) Syntactic decision procedures in information systems International Journal of Human-Computer Studies \/ International Journal of Man-Machine Studies. 30: 273-285 |
Wasilewska A. (1984) DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations Studia Logica. 43: 395-404 |