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: |
|
||||||
| 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 |
