Hemmick, Douglas L.
Bell's theorem and quantum realism : reassessment in light of the Schrödinger Paradox
Springer, 2012
 eBooks
Nurfathiya Faradiena Az Zahra
Skema pembagian rahasia menggunakan matriks proyeksi dengan hasil diverifikasi = Verifiable secret sharing scheme using matrix projection
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2018
 UI - Skripsi (Membership)
Sjarif Abdat
Heuristic search sebagai alternatif pelacakan dan implementasinya dalam prolog untuk aplikasi theorem proving
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1987
 UI - Skripsi (Membership)
Caroline D. Puspa
Proses verifikasi piranti lunak menggunakan lingu dan theorem prover HOL pada studi kasus student entrace test
Fakultas Ilmu Komputer Universitas Indonesia, 2006
 UI - Skripsi (Membership)
Octovianus Andriato
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem prover hol
Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 1998
 UI - Skripsi (Membership)