Verdian, Hartanto (2007) Transformasi logika predikat ke dalam prenex normal form dengan menggunakan prolog. Bachelor thesis, Universitas Pelita Harapan.
Full text not available from this repository.| Item Type: | Thesis (Bachelor) |
|---|---|
| Creators: | Creators NIM Email ORCID Verdian, Hartanto UNSPECIFIED UNSPECIFIED UNSPECIFIED |
| Additional Information: | SK 82-03 HAR t |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | University Subject > Current > Faculty/School - UPH Karawaci > School of Information Science and Technology > Informatics Current > Faculty/School - UPH Karawaci > School of Information Science and Technology > Informatics |
| Depositing User: | Christine Natalia Nababan |
| Date Deposited: | 28 Apr 2021 04:46 |
| Last Modified: | 28 Apr 2021 04:46 |
| URI: | http://repository.uph.edu/id/eprint/25471 |
Actions (login required)
- View Item