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 |