Smarandache, Florentin, author
Multi-valued logic, neutrosophy, and schrodinger equation
Hexis, 2005
 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)
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)
Eva Magdalena M., author
Integrasi model cheking dengan interactive theorem proving pembuatan skrip pembuktian secara otomatis
Fakultas Ilmu Komputer Universitas Indonesia, 1997
 UI - Skripsi (Membership)
Bergmann, Merrie
The logic book / Merrie Bergmann, James Moor, Jack Nelson
McGraw-Hill Publishing Company, 1990
 Buku Teks
<<   2 3 4   >>