Zarys dedukcyjnych metod automatycznego wnioskowaniaAndrzej Szałas
Zarys dedukcyjnych metod automatycznego wnioskowania
10 bibliotek1 wydanie · 1993
Biblioteka Wydziału Matematyki, Informatyki i Mechaniki
Uniwersytet Warszawski · Warszawastanbardzo niski
AGH-WEAIiIB - Biblioteka
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie · Krakówstanbardzo niski
Biblioteka Narodowa
Biblioteka Narodowa (Polska) · Warszawastanbardzo niski
AGH-Biblioteka Główna
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie · Krakówstanbardzo niski
Biblioteka Główna
Biblioteka Politechniki Gdańskiej · Gdańskstanbardzo niski
Biblioteka im. Kazimierza Twardowskiego
Uniwersytet Warszawski · Warszawastanbardzo niski
Biblioteka na Koszykowej
Biblioteka Publiczna m.st. Warszawy - Biblioteka Główna Województwa Mazowieckiego · Warszawastanbardzo niski
Biblioteka Uniwersytecka w Warszawie
Uniwersytet Warszawski · Warszawastanbardzo niski
Książnica Pomorska
Książnica Pomorska im. Stanisława Staszica w Szczecinie · Szczecinstanbardzo niski
Ubytki
Politechnika Wrocławskastanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.