Ditemukan 21 dokumen yang sesuai dengan query
Andrey Andoko
Buku Teks Universitas Indonesia Library
Diah Kusumawati, author
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
Gibbins, Peter, author
Oxford: Clarendon Press, 1988
001.642 4 GIB l
Buku Teks Universitas Indonesia Library
Uung Ungkawa, author
Yokyakarta: Andi, 1992
001.642 UUN b
Buku Teks Universitas Indonesia Library
New York: Ellis Horwood Limited, 1984
005.133 IMP
Buku Teks Universitas Indonesia Library
Clocksin, W.F., author
Berlin Heidenberg: Springer-Verlag, 1987
005.133 CLO p
Buku Teks Universitas Indonesia Library
Ungkawa, Uung, author
Yogyakarta: Andi, 1992
005.713 6 UNG b
Buku Teks Universitas Indonesia Library
Andrey Andoko, author
Jakarta: Elex Media Komputindo, 1989
001.642 AND t
Buku Teks Universitas Indonesia Library
Ross, Peter, author
Wokingham: Addison-Wesley, 1989
005.133 ROS a
Buku Teks Universitas Indonesia Library
Ario Santoso, author
Studi tentang type theory telah memberikan kontribusi penting dalam dunia ilmu komputer, terutama dalam rekayasa perangkat lunak, basis data, computational linguistics, desain bahasa pemrograman, automated theorem proving, high performance compiler dan keamanan jaringan komputer. Tugas akhir ini berfokus pada varian type theory yang disebut Type Assignment (TA). Kontribusi dari tugas...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2008
S-Pdf
UI - Skripsi (Open) Universitas Indonesia Library
