The aquivalence problem of binary EOL-systems is decidableMarek Karpiński
The aquivalence problem of binary EOL-systems is decidable
1 biblioteka1 wydanie · 1977
Biblioteka Narodowa
Biblioteka Narodowa (Polska) · Warszawastanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.