Helena Rasiowa (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

14 Helena Rasiowa, V. Wiktor Marek: Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS 1993: 142-151

13 Helena Rasiowa, V. Wiktor Marek: Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. J. Intell. Inf. Syst. 2(2): 149-164 (1993)

7 V. Wiktor Marek, Helena Rasiowa: Approximating Sets with Equivalence Relations. Theor. Comput. Sci. 48(3): 145-152 (1986)

Selection of 3 from 17 records - Helena Rasiowa has 3 coauthors

14		Helena Rasiowa, V. Wiktor Marek: Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS 1993: 142-151
13		Helena Rasiowa, V. Wiktor Marek: Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. J. Intell. Inf. Syst. 2(2): 149-164 (1993)
7		V. Wiktor Marek, Helena Rasiowa: Approximating Sets with Equivalence Relations. Theor. Comput. Sci. 48(3): 145-152 (1986)