Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 16 dokumen yang sesuai dengan query
cover
Andrey Andoko
Jakarta: Elex Media Komputindo, c1989
Buku Teks  Universitas Indonesia Library
cover
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
cover
Andrey Andoko, author (edit)
Jakarta: Elex Media Komputindo, 1989
001.642 AND t
Buku Teks  Universitas Indonesia Library
cover
New York: Ellis Horwood Limited, 1984
005.133 IMP
Buku Teks  Universitas Indonesia Library
cover
Clocksin, W.F., author
Berlin Heidenberg: Springer-Verlag, 1987
005.133 CLO p
Buku Teks  Universitas Indonesia Library
cover
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
cover
Clark, K.L., author
Englewood Cliffs, NJ: Prentice-Hall, 1984
005.133 CLA m
Buku Teks  Universitas Indonesia Library
cover
Pereira, Feranndo C.
Massachussets: CSLI (Center for the Study of Language & information), 1987
410.285 PER p
Buku Teks  Universitas Indonesia Library
cover
Tugas akhir ini membicarakan sistem basis data deduktif yang inspirasi pembentukannya berasal dari dua sumber uama yaitu sistem basis data relasional dan pemrograman logika. Pemrograman logika yang sudah dikembangkan adalah pemrograman PROLOG. Tujuan tugas akhir ini adalah memperkaya suatu aplikasi sistem basis data deduktif dengan menggunakan PROLOG sebagai bahan implementasinya...
Universitas Indonesia, 1987
S27254
UI - Skripsi (Membership)  Universitas Indonesia Library
cover
London: Camberidge University Press , 1990
005.13 PRA
Buku Teks  Universitas Indonesia Library
<<   1 2   >>