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: |
| Fyzický popis: | 147 s. |
|---|