Ditemukan 672 dokumen yang sesuai dengan query
Ruder, Jesse H.
New York: John Wiley & Sons, 1987
001.642 RUD b
Buku Teks SO Universitas Indonesia Library
Keller, Arthur M.
New York: McGraw-Hill, 1982
001.642 4 KEL f
Buku Teks SO Universitas Indonesia Library
Seidel, Kenneth P.
Pacific Palisades, Cal.: Goodyear , 1971
001.64 SEI c
Buku Teks SO Universitas Indonesia Library
Merchant, Michael J.
Belmont, California: Wadsworth, 1977
001.642 4 MER a
Buku Teks SO Universitas Indonesia Library
Nickerson, Robert C.
Boston: Little, Brown, 1984
005.13 NIC f
Buku Teks SO Universitas Indonesia Library
Waite, Mitchell
Surabaya: Indomicros, 1984
001.642 4 WAI jt
Buku Teks SO Universitas Indonesia Library
[place of publication not identified]: [publisher not identified], [date of publication not identified]
005.1 UND
Buku Teks SO Universitas Indonesia Library
Vanladians, Yavis
Yogyakarta: Andi, 1987
005.13 VAN p
Buku Teks SO Universitas Indonesia Library
Diah Kusumawati
"Tugas akhir mi membahas cara pembuatan prosedur dan program pembuktian teorema dengan bahasa Turbo Prolog. Dalam hal ini Turbo Prolog digunakan sebagai alat pembukti teorerna. Juga dijelaskan logika dan dasar-dasar cara pembuatan prosedur dan program tersebut, diantaranya yang terpenting adalah dasar dan cara kerja Turbo Prolog, yaitu pembuktian dengan kontradiksi."
Depok: Universitas Indonesia, 1988
S26942
UI - Skripsi Membership Universitas Indonesia Library
P. Insap Santosa
Yogyakarta: Andi, 1997
001.642 4 INS d
Buku Teks SO Universitas Indonesia Library
