Piranti lunak pembuktian pernyataan logika proposisi menggunakan metode resolusi.

Harris, Kristian Frits (2008) Piranti lunak pembuktian pernyataan logika proposisi menggunakan metode resolusi. Bachelor thesis, Universitas Pelita Harapan.

Full text not available from this repository.
Item Type: Thesis (Bachelor)
Creators:
CreatorsNIMEmail
Harris, Kristian FritsUNSPECIFIEDUNSPECIFIED
Additional Information: SK 82-04 HAR 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:48
Last Modified: 28 Apr 2021 04:48
URI: http://repository.uph.edu/id/eprint/26448

Actions (login required)

View Item View Item