Związki problemu nierozstrzygalności logiki predykatów pierwszego rzędu z zagadnieniami złożoności
Fragment książki (Rozdział w monografii)
MNiSW
20
Poziom I
| Status: | |
| Autorzy: | Mycka Jerzy, Rosa Wojciech |
| Dyscypliny: | |
| Aby zobaczyć szczegóły należy się zalogować. | |
| Wersja dokumentu: | Drukowana |
| Arkusze wydawnicze: | 0,7 |
| Język: | polski |
| Strony: | 191 - 204 |
| Efekt badań statutowych | NIE |
| Materiał konferencyjny: | NIE |
| Publikacja OA: | NIE |