Untitled HOME GANTI PASSWORD LOGOUT




Selamat Datang
SELAMAT DATANG DI PERPUSTAKAAN ONLINE

E-JOURNAL

RANCANG BANGUN PIRANTI LUNAK UNTUK PEMBUKTIAN PERNYATAAN LOGIKA PROPOSISI DENGAN METODE RULE OF INFERENCE



  ID Publisher : 0000003252
  Nama Jurnal : Jurnal Ilmiah Ilmu Komputer (Journal of Computer Science)
  Pengarang : Arnold Aribowo & Finella Natawijaya
  Subjek : Automated Reasoning, Rules of Inference
  Edisi : 6 / 1 / Januari 2008


Download File...

  Isi_Abstraksi_718471769289.pdf
  [   bytes ]


  Isi_Artikel_621738338270.pdf
  [ 566246  bytes ]


Kembali


Untitled
          
LINK FAKULTAS
MENU MAHASISWA