Sagitra Tri Meizanda, author
Analisis Biclustering pada Data Indikator Kesejahteraan Rakyat di Pulau Papua Tahun 2021 Menggunakan Algoritma Cheng and Church = Biclustering Analysis of Welfare Indicators Data on Papua Island in 2021 Using Cheng and Church Algorithm
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2023
 UI - Skripsi Membership
Ummu Maemunah, author
Penggunaan algoritma computational tree logic model checking untuk pemeriksaan rancangan sistem microwave oven
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006
 UI - Skripsi Membership
Marlando Wawolumaya, author
Manifestasi logika pada bahasa dalam pemikiran Gottlob Frege: sebuah telaah kritis = the manifestation of logic on language in the thought of Gottlob Frege : a critical study
Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 2011
 UI - Tesis Open
Carnap, Rudolf, author
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Sulistomo Adie Suwarno, author
Terjemahan model paradigm untuk Anjungan Tunai Mandiri menjadi pseudocode dalam proportional linear temporal logic.
Universitas Indonesia, 2005
 UI - Skripsi Membership
<<   1 2 3   >>