Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Tipe Koleksi	Indeks Artikel Jurnal
Nama Jurnal	ACM TRANS. ON COMPUTATIONAL LOGIC
Volume	[6(2005): 4]
Judul Artikel	A Proof Theory for Generic Judgments, page 749-783
Penulis
Penerbit Jurnal	New York: The Association for Computing Machinery

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
		TERSEDIA

Tidak ada review pada koleksi ini: 13294

Tidak ada abstrak pada koleksi ini

Latest Collection

Model Sistem Pengelolaan Aliran Work Flow (43-47)

Type: Indeks Artikel prosiding/Sem

Reducing the Line Harmonic Current of Non-Linear Critical Loads Using A Sinusoidal PWM Invertal (7-12)

Type: Indeks Artikel prosiding/Sem

Analisis Preferensi Produk Es Krim Berbahan Lemak dari Fraksi Minyak Sawit Merah (37-42)

Type: Indeks Artikel prosiding/Sem

Input Ripple Analysis of Multiphase DC-DC Converters (1-6)

Type: Indeks Artikel prosiding/Sem

Pengembangan Web CHat dan Aplikasinya Dalam Pengambilan Keputusan Kelompok Secara Label Linguistik (32-36)

Type: Indeks Artikel prosiding/Sem

Aplikasi Jaringan Syaraf Tiruan sebagai Pengganti Pengendali PID (28-31)

Type: Indeks Artikel prosiding/Sem

Jaringan Syaraf Tiruan Untuk Pengenalan Tanda Tangan (22-27)

Type: Indeks Artikel prosiding/Sem

Beberapa Hasil Pada Implementasi Jaringan Saraf Tiruan Berbasis Incremental Projection Learning (17-21)

Type: Indeks Artikel prosiding/Sem

Implementasi dan Analisa Fungsi Aktivasi Frank Dalam Jaringan Saraf Buatan Backpropagation (11-16)

Type: Indeks Artikel prosiding/Sem

Pengembangan Sistem Indera Buatan Menggunakan Metoda Kecerdasan Komputasional (1-10)

Type: Indeks Artikel prosiding/Sem

Favorite