System wizualizacji formuł logicznych
| dc.contributor.author | Baranowski, Paweł | |
| dc.contributor.department | Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej | |
| dc.contributor.reviewer | Ligęza, Antoni | |
| dc.contributor.supervisor | Klimek, Radosław | |
| dc.date.available | 2020-04-21T23:40:20Z | |
| dc.date.defence | 2018-01-15 | |
| dc.date.submitted | 2018-01-11 | |
| dc.description.type | praca inżynierska | |
| dc.identifier.other | 0005600 | |
| dc.identifier.uri | https://repo.agh.edu.pl/handle/AGH/90684 | |
| dc.language.iso | pol | |
| dc.rights | Access rights reserved | |
| dc.rights.access | zastrzeżony dostęp | |
| dc.rights.accessNote | Zarządzenie Rektora AGH | |
| dc.rights.uri | https://repo.agh.edu.pl/info/restricted-access | |
| dc.subject | SAT problem | en |
| dc.subject | DIMACS formulas | en |
| dc.subject | visualizastion | en |
| dc.subject | graph | en |
| dc.subject | problem SAT | pl |
| dc.subject | formuła DIMACS | pl |
| dc.subject | wizualizacja | pl |
| dc.subject | grafy | pl |
| dc.title | System wizualizacji formuł logicznych | pl |
| dc.title.alternative | System for visualization of logical formulas | en |
| dc.type | praca dyplomowa | |
| dspace.entity.type | Publication | |
| thesis.degree.discipline | Informatyka (WEAIiIB) | pl |
| thesis.degree.formOfStudy | stacjonarne | pl |
| thesis.degree.grantor | Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie | pl |
| thesis.degree.level | studia pierwszego stopnia | pl |
| thesis.degree.name | inżynier | pl |
| thesis.identifier.dxp | 190343 | |
| thesis.statusORPD | ORPPD1_sent |