PIRANTI LUNAK PEMBUKTIAN PERNYATAAN LOGIKA PROPOSISI DENGAN METODE RESOLUSI MENGGUNAKAN BAHASA PEMROGRAMAN PROSEDURAL

1 PIRANTI LUNAK PEMBUKTIAN PERNYATAAN LOGIKA PROPOSISI DENGAN METODE RESOLUSI MENGGUNAKAN BAHASA PEMROGRAMAN PROSEDURAL Arnold Aribowo, Kristian Frits...
Author:  Hartono Jayadi

88 downloads 236 Views 268KB Size

Recommend Documents