::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Andrey Andoko

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

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

• Cari yang mirip
• Tambahkan ke Favorit
• Abstrak

New York: Ellis Horwood Limited, 1984

005.133 IMP

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

Clocksin, W.F., author

Berlin Heidenberg: Springer-Verlag, 1987

005.133 CLO p

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

Andrey Andoko, author

Jakarta: Elex Media Komputindo, 1989

001.642 AND t

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

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

• Cari yang mirip
• Tambahkan ke Favorit
• Abstrak

Clark, K.L., author

Englewood Cliffs, NJ: Prentice-Hall, 1984

005.133 CLA m

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

Pereira, Feranndo C.

Massachussets: CSLI (Center for the Study of Language & information), 1987

410.285 PER p

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

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

• Cari yang mirip
• Tambahkan ke Favorit
• Abstrak

London: Camberidge University Press , 1990

005.13 PRA

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit