( en | de | ru )

 

Disambiguation of "Komorowski, Henryk Jan"

Author of the publication

copydeleteadd this publication to your clipboard
On Data-type-centered, Correctness-oriented Design.

. ICLP Workshop on Construction of Logic Programs, page 97-112. Wiley, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jan-Henryk Wicke

Jan-Henryk Grelik

Klaus Komorowski

Manfred Komorowski

Alexis Komorowski

 

Other publications of authors with the same name

On Data-type-centered, Correctness-oriented Design.. ICLP Workshop on Construction of Logic Programs, page 97-112. Wiley, (1991)RoSy: A Rough Knowledge Base System., , , and . RSFDGrC (2), volume 3642 of Lecture Notes in Computer Science, page 48-58. Springer, (2005)Learning Rule-based Models of Biological Process from Gene Expression Time Profiles Using Gene Ontology., , and . Bioinform., 19 (9): 1116-1123 (2003)An Abstract PROLOG Machine.. ECICS, page 183-191. North-Holland, (1982)Rough Sets for Data Mining and Knowledge Discovery (Abstract)., , and . PKDD, volume 1263 of Lecture Notes in Computer Science, page 393. Springer, (1997)Partial Deduction in the Framework of Structural Synthesis of Programs., , and . LOPSTR, volume 1207 of Lecture Notes in Computer Science, page 239-255. Springer, (1996)On the Mechniszation of Programmer's Knowledge.. ISMIS, page 45-55. North-Holland/Elsevier, (1987)Towards a Programming Methodology Founded on Partial Deduction.. ECAI, page 404-409. (1990)Task Force on Logic Program Development (Compulog Project)., and . LPE, (1995)Proteochemometrics Modeling of Receptor-Ligand Interactions Using Rough Sets., , , , and . German Conference on Bioinformatics, volume P-53 of LNI, page 85-94. GI, (2004)