( en | de | ru )

 

Disambiguierung von "Pietrzykowski, Tomasz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abduction in Logic Programming with Equality.

, , und . FGCS, Seite 539-545. IOS Press, (1992)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

 

Weitere Publikationen von Autoren mit dem selben Namen

A complete mechanization of (Ω)-order type theory., und . ACM Annual Conference (1), Seite 82-92. ACM, (1972)Causes for Events: Their Computation and Applications., und . CADE, Volume 230 von Lecture Notes in Computer Science, Seite 608-621. Springer, (1986)Advanced programming aids in PROGRAPH., und . SIGSMALL, Seite 27-33. ACM, (1985)Prograph: A Preliminary Report., und . Comput. Lang., 10 (2): 91-126 (1985)Visual Message Flow Language MFL and its Interaface., und . Advanced Visual Interfaces, Volume 36 von World Scientific Series in Computer Science, Seite 348-361. World Scientific, (1992)Intelligent Backtracking for Automated Deduction in FOL., und . Logic Programming Workshop, Seite 186-191. Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, (1983)Exponential Improvement of Efficient Backtracking: data Structure and Implementation., und . CADE, Volume 138 von Lecture Notes in Computer Science, Seite 240-259. Springer, (1982)Prograph: a step towards liberating programming from textual conditioning., , und . VL, Seite 150-156. IEEE Computer Society, (1989)A Complete Mechanization of Second-Order Type Theory.. J. ACM, 20 (2): 333-364 (1973)Application of the Steepest Ascent Method to Concave Programming.. IFIP Congress, Seite 185-189. North-Holland, (1962)