Nova, Andrew Risky (2007) Piranti lunak pembuktian pernyataan matematika logika proposisi berdasarkan rules of inference menggunakan algoritma rekursif. Bachelor thesis, Universitas Pelita Harapan.
Full text not available from this repository.| Item Type: | Thesis (Bachelor) | ||||||
|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||
| Additional Information: | SK 82-03 NOV p | ||||||
| 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:47 | ||||||
| Last Modified: | 28 Apr 2021 04:47 | ||||||
| URI: | http://repository.uph.edu/id/eprint/25525 |
Actions (login required)
 |
View Item |
