Automatyczne dowodzenie twierdzeń /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Polština |
| Vydáno: |
Warszawa :
Państwowe Zakłady Wydawnictw Szkolnych,
1965.
|
| Vydání: | Wyd. 1. |
| Edice: | Biblioteczka matematyczna PZWS i czasopisma "Matematyka"
|
| Témata: |
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
| Popis | Stav | Knihovna | Sbírka | Signatura | Poznámky | Čárový kód |
|---|---|---|---|---|---|---|
|
Dostupné Prezenční SKLAD |
Přírodovědecká fakulta | ÚK sklad | I-22736 | 3145125733 |