Ditemukan 15432 dokumen yang sesuai dengan query
Clocksin, W.F.
Berlin Heidenberg: Springer-Verlag, 1987
005.133 CLO p
Buku Teks Universitas Indonesia Library
Clark, K.L.
Englewood Cliffs, NJ: Prentice-Hall, 1984
005.133 CLA m
Buku Teks Universitas Indonesia Library
Bratko, Ivan
Workingham, England: Addison-Wesley, 1986
006.3 BRA p
Buku Teks Universitas Indonesia Library
New York: Ellis Horwood Limited, 1984
005.133 IMP
Buku Teks Universitas Indonesia Library
Teft, Lee
Englewood Cliffs, NJ: Prentice-Hall, 1989
006.33 TEF p
Buku Teks 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
Andrey Andoko
Jakarta: Elex Media Komputindo, 1989
001.642 AND t
Buku Teks SO Universitas Indonesia Library
Maier, David
Menlo Park: The Benjamin Cumming Pub., 1988
005.133 MAI c
Buku Teks Universitas Indonesia Library
O`Keefe, Richard A.
Cambridge, Mass.: MIT Press, 1990
005.13 OKE c
Buku Teks Universitas Indonesia Library
London: Camberidge University Press , 1990
005.13 PRA
Buku Teks Universitas Indonesia Library
