A Complete deductive system for the ~^m-calculusIgor Walukiewicz
A Complete deductive system for the ~^m-calculus
3 biblioteki2 wydania · 1993–1994
Biblioteka Jagiellońska
Uniwersytet Jagielloński · Krakówstanbardzo niski
Biblioteka Narodowa
Biblioteka Narodowa (Polska) · Warszawastanbardzo niski
Biblioteka Wydziału Matematyki, Informatyki i Mechaniki
Uniwersytet Warszawski · Warszawastanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.