( en | de | ru )

 

Disambiguation of "Pietrzykowski, Tomasz"

Author of the publication

copydeleteadd this publication to your clipboard
Visual Message Flow Language MFL and its Interaface.

, and . Advanced Visual Interfaces, volume 36 of World Scientific Series in Computer Science, page 348-361. World Scientific, (1992)

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.

Tomasz Kupka

Ascheablagerungsprobleme bei der Mitverbrennung von alternativen Brennstoffen in Steinkohlekraftwerken. TU Clausthal-Zellerfeld, (2009)

Tomasz Wocjan

Dynamics of DNA in nucleosomes and plasmids studied by Brownian dynamics. Uni Heidelberg, (2009)

Tomasz Mistrzyk

Tomasz Zyss

Tomasz Trela

 

Other publications of authors with the same name

Causes for Events: Their Computation and Applications., and . CADE, volume 230 of Lecture Notes in Computer Science, page 608-621. Springer, (1986)Equality and Abductive Residua for Horn Clauses., , and . Theor. Comput. Sci., 120 (1): 1-44 (1993)A complete mechanization of (Ω)-order type theory., and . ACM Annual Conference (1), page 82-92. ACM, (1972)Prograph: A Preliminary Report., and . Comput. Lang., 10 (2): 91-126 (1985)Advanced programming aids in PROGRAPH., and . SIGSMALL, page 27-33. ACM, (1985)Visual Message Flow Language MFL and its Interaface., and . Advanced Visual Interfaces, volume 36 of World Scientific Series in Computer Science, page 348-361. World Scientific, (1992)Exponential Improvement of Efficient Backtracking: data Structure and Implementation., and . CADE, volume 138 of Lecture Notes in Computer Science, page 240-259. Springer, (1982)Intelligent Backtracking for Automated Deduction in FOL., and . Logic Programming Workshop, page 186-191. Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, (1983)A Complete, Nonredundant Algorithm for Reversed Skolemization., and . Theor. Comput. Sci., (1984)Prograph: a step towards liberating programming from textual conditioning., , and . VL, page 150-156. IEEE Computer Society, (1989)