Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005.1 Alg
Collection Type	Indeks Artikel LNCS
Title	The equivalence of the subsumption theorem and the refutation-completeness for unconstrained resolution, (LNCS-Lecture Notes in Computer Science 1023) Hal 269-285
Author	Shan-Hwei Nienhuys-Cheng; Ronald de Wolf;
Publisher	Springer, 1995
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005.1 Alg		TERSEDIA

Tidak ada review pada koleksi ini: 39061

Tidak ada abstrak pada koleksi ini

Latest Collection

Information Security Management Handbook

Type: Buku

Implementasi Pretrained Language Mobil Tapas pada Tugas Tanya Jawab Berbasis Tabel Berbahasa Indonesia

Type: Tesis

A Novel Structure Evaluation Method for Indonesian Pantun Generation

Type: Tesis

Strategi Migrasi Sistem Lawas Genting dengan Arsitektur Monolitik ke Microservices: Studi Kasus PT XYZ

Type: Karya Akhir (KA)

IT Infrastructure architecture: infrastructure building blocks and concepts, 4 Edt

Type: Buku

Evaluasi Tingkat Kematangan Adopsi Devops: Studi Kasus Badan Pusat Statistik

Type: Karya Akhir (KA)

REKOMENDASI PENEMPATAN PEGAWAI MENGGUNAKAN ALGORITMA SUPERVISED MACHINE LEARNING DAN RULE-BASED EXPERTS: STUDI KASUS INSTANSI PENDIDIKAN

Type: Karya Akhir (KA)

Evaluasi Usability dan Rekomendasi Desain Antarmuka Perbaikan Antarmuka Permata Karir: Studi Kasus PT Bank Permata Tbk

Type: Karya Akhir (KA)

Pengukuran Tingkat Kesadaran Pegawai terhadap Keamanan Informasi: Studi Kasus Badan Kepegawaian Negara

Type: Karya Akhir (KA)

Faktor-Faktor Yang Memengaruhi Implementasi Satu Data Di Pemerintahan Kota Depok

Type: Karya Akhir (KA)

Favorite