Porównanie metod wnioskowania w różnych systemach
| dc.contributor.author | Guzik, Monika | |
| dc.contributor.department | Wydział Matematyki Stosowanej | |
| dc.contributor.reviewer | Rudol, Krzysztof | |
| dc.contributor.supervisor | Korbel, Katarzyna | |
| dc.date.available | 2019-06-14T09:08:17Z | |
| dc.date.defence | 2011-07-11 | |
| dc.date.submitted | 2011-06-22 | |
| dc.description.type | praca magisterska | |
| dc.identifier.uri | https://repo.agh.edu.pl/handle/AGH/73755 | |
| 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 | logika | pl |
| dc.subject | wartościowanie | pl |
| dc.subject | spełnialność | pl |
| dc.subject | model | pl |
| dc.subject | logic | en |
| dc.subject | valuation | en |
| dc.subject | satisfiability | en |
| dc.subject | model | en |
| dc.title | Porównanie metod wnioskowania w różnych systemach | pl |
| dc.type | praca dyplomowa | |
| dspace.entity.type | Publication | |
| thesis.degree.discipline | Matematyka (WMS) | pl |
| thesis.degree.formOfStudy | stacjonarne | pl |
| thesis.degree.grantor | Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie | pl |
| thesis.degree.level | studia jednolite magisterskie | pl |
| thesis.degree.name | magister | pl |
| thesis.description.otherinfo | Correct – DRS, courseID | pl |
| thesis.identifier.dxp | 7489 | |
| thesis.statusORPD | ORPPD1_sent |