Your search returned 2 results. Subscribe to this search

|
1. Algorytmiczne modele zjawisk losowych / Wiktor Dańko.

by Dańko, Wiktor.

Material type: book Book; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publisher: Białystok : Wydawnictwo Wyższej Szkoły Ekonomicznej, 2006Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 342800] (1).
Lists:
2. The Post correspondence problem as a tool for proving undecidability in logics of probabilistic programs / Wiktor Dańko, Jolanta Koszelew.

by Dańko, Wiktor | Koszelew, Jolanta.

Source: Studies in Logic, Grammar and RhetoricSource: Emil L. Post and the problem of mechanical provability : a survey of Post's contributions in the centenary of his birthMaterial type: article Article; Format: print ; Literary form: Not fiction Availability: No items available

Powered by Koha