Ditemukan 5208 dokumen yang sesuai dengan query
Uung Ungkawa
Yokyakarta: Andi, 1992
001.642 UUN b
Buku Teks Universitas Indonesia Library
Ungkawa, Uung
Yogyakarta: Andi, 1992
005.713 6 UNG b
Buku Teks Universitas Indonesia Library
Andrey Andoko
Jakarta: Elex Media Komputindo, 1989
001.642 AND t
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
Marcellus, Daniel H.
Englewood Cliffs, NJ: Prentice-Hall, 1989
006.33 MAR e
Buku Teks Universitas Indonesia Library
Susanto
Jakarta: Dinastindo, 1990
001.642 4 SUS p
Buku Teks Universitas Indonesia Library
Susanto
Jakarta: Dinastindo, 1989
001.642 SUS p
Buku Teks Universitas Indonesia Library
Susanto
Jakarta: Dinastindo, 1990
001.642 SUS p
Buku Teks Universitas Indonesia Library
Abdul Kadir
Yogyakarta: Andi, 1991
001.642 ABD p
Buku Teks SO Universitas Indonesia Library
Teft, Lee
Englewood Cliffs, NJ: Prentice-Hall, 1989
006.33 TEF p
Buku Teks Universitas Indonesia Library
