Automatyczne dowodzenie twierdzeńZdzisław Pawlak
Automatyczne dowodzenie twierdzeń
25 bibliotek2 wydania · 1965
O książce
- Autor
- Zdzisław Pawlak
- Lata wydań
- 1965
- Liczba wydań
- 2
- Języki
- polski
- Rodzaj
- książka
Dostępna w 25 bibliotekach, m.in.: Biblioteka Uniwersytecka UWM (Olsztyn), Biblioteka Wydziału Matematyki I Informatyki (Kraków), Biblioteka Wydziału Matematyki, Informatyki i Mechaniki (Warszawa), WBP w Łodzi (Łódź), Biblioteka Dziedziny Nauk Humanistycznych (Lublin), Biblioteka Główna Uniwersytetu Gdańskiego (Gdańsk), Biblioteka Narodowa (Warszawa), Biblioteka Wydz. Matematyki i Informatyki (Toruń), Biblioteka Wydziału Fizyki (Warszawa), Filia Biblioteki PG: Chemia, Fizyka i Matematyka (Gdańsk)…