Implementacja semantycznej metody automatycznego dowodzenia twierdzeńEwa Kaczmarska-Ryger
Implementacja semantycznej metody automatycznego dowodzenia twierdzeń
2 biblioteki1 wydanie · 1977
Biblioteka Narodowa
Biblioteka Narodowa (Polska) · Warszawastanbardzo niski
Biblioteka Główna Uniwersytetu Gdańskiego
Uniwersytet Gdański · Gdańskstanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.