O funkcjach obliczalnych za pomocą pewnej maszyny liczącej
Studia Logica 27 (1):72-72 (1971)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Automatyczne dowodzenie twierdzeń W pewnej klasie formuł rachunku predykatów.E. Orłowska - 1969 - Studia Logica 25 (1):28-28.
O pewnej metodzie tworzenia logik modalnych.Tadeusz Kubiñski - 1956 - Studia Logica 4 (1):213 - 240.
O pewnej metodzie wyboru hipotezy statystycznej.Klemens Szaniawski - 1961 - Studia Logica 12 (1):142-142.
O pewnej uogólnionej algebrze cylindrycznej I logice intuicjonistycznej.J. Kotas & A. Pieczkowski - 1966 - Studia Logica 18 (1):81-81.
Kilka spostrzeżeń dotyczących pewnej definicji odpowiedzi niezupełnej.Tadeusz Kubiński - 1967 - Studia Logica 21 (1):43-43.
O pewnej kongruencji automatów ze względu na podŀączanie I sprzęganie Z opóźnieniem.Jerzy Nowak - 1973 - Studia Logica 31 (1):165-165.
Strukturalna teoria automatów skończonych określonych za pomocą matryc.Ryszard Nowakowski - 1965 - Studia Logica 16 (1):75 - 116.
Analytics
Added to PP
2009-01-28
Downloads
24 (#483,852)
6 months
1 (#454,876)
2009-01-28
Downloads
24 (#483,852)
6 months
1 (#454,876)
Historical graph of downloads
