The following pages link to Anita Wasilewska (Q1066887):
Displaying 29 items.
- Trees and diagrams of decomposition (Q1066888) (← links)
- Programs and logics (Q1070221) (← links)
- DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations (Q1072540) (← links)
- A constructive proof of Craig's interpolation lemma for m-valued logic (Q1143390) (← links)
- An inductive learning system (Q1197602) (← links)
- Rules reduction for knowledge representation systems (Q1198439) (← links)
- The diagrams of formulas of the intuitionistic propositional calculus (Q1223279) (← links)
- A sequence formalization for SCI (Q1233432) (← links)
- The diagrams of formulas of the modal propositional S4 calculus (Q1394220) (← links)
- A formalization of the modal propositional S4 calculus (Q1845872) (← links)
- (Q3142022) (← links)
- (Q3526748) (← links)
- (Q3703865) (← links)
- Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them (Q3717021) (← links)
- Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations (Q3737416) (← links)
- (Q3782854) (← links)
- (Q3795307) (← links)
- Syntactic decision procedures in information systems (Q3826125) (← links)
- On the Gentzen Type Formalizations (Q3924173) (← links)
- (Q4014095) (← links)
- (Q4105812) (← links)
- (Q4167618) (← links)
- (Q4250255) (← links)
- (Q4332419) (← links)
- (Q4484281) (← links)
- Logics for Computer Science (Q4561681) (← links)
- From Logic to Computer Science – A Personal Experience (Q5245311) (← links)
- Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (Q5475713) (← links)
- (Q5691535) (← links)