Ditemukan 45909 dokumen yang sesuai dengan query
Pereira, Feranndo C.
Massachussets: CSLI (Center for the Study of Language & information), 1987
410.285 PER p
Buku Teks Universitas Indonesia Library
Bratko, Ivan
Workingham, England: Addison-Wesley, 1986
006.3 BRA p
Buku Teks Universitas Indonesia Library
Reading Mass: Addison-Wesley, 1987
006.33 LOG
Buku Teks Universitas Indonesia Library
Stroustrup, Bjarne
Reading Mass.: Addison-Wesley, 1987
005.133 STR c
Buku Teks Universitas Indonesia Library
Kernighan, Brian W.
Englewood Cliffs, NJ: Prentice-Hall, 1988
005.133 KER c
Buku Teks Universitas Indonesia Library
Stroustrup, Bjarne
Reading Mass.: Addison-Wesley, 1987
005.133 STR c
Buku Teks Universitas Indonesia Library
New York: Ellis Horwood Limited, 1984
005.133 IMP
Buku Teks Universitas Indonesia Library
Clocksin, W.F.
Berlin Heidenberg: Springer-Verlag, 1987
005.133 CLO p
Buku Teks Universitas Indonesia Library
Headington, Mark R.
Boston: Jones and Bartlett Publisher, 1997
005.133 HEA d
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
