Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	SEM-281
Collection Type	Indeks Artikel prosiding/Sem
Title	Algorithmic aspects of herbrand models represented by ground atoms with ground equations, Hal. 241-259
Author	Bernhard Gramlich; Reinhard Pichler;
Publisher	Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-281		TERSEDIA

Tidak ada review pada koleksi ini: 37106

Tidak ada abstrak pada koleksi ini

Latest Collection

Nilai Penting dan Penjelasan Fitur pada Pengayaan Pendeteksian web Phising Menggunakan Pendekatan Explainable Artificial Intelligence

Type: Disertasi

Pengembangan Prototipe Game Sebagai Game Programmer di Garena

Type: Kerja Praktek (KP)

Analisis data dan Pengembangan Model Machine Learning Sebagai Data Analyst Intern di PT MSIG Life Insurance Indonesia

Type: Kerja Praktek (KP)

Frog: Framework of Open Graphrag

Type: Skripsi

Virtual Screening Kandidat Obat berbasis Machine Learning pada Database Tanaman Herbal Indonesia dengan Berbagai Strategi Feature Selection

Type: Tesis

Large Language Models: A Deep Five Bridging Theory and Practice

Type: Buku

Pengembangan Enterprise Architecture Maturity Model pada Pemerintahan Digital Berdasarkan Faktor Keberhasilannya

Type: Tesis

Model Penilaian Kesiapan Lingkungan Belajar Cerdas pada Perguruan Tinggi di Indonesia

Type: Tesis

Go-To Market Automation at Lumina

Type: Kerja Praktek (KP)

Pengembangan Group Sequential Hypothesis Testing untuk N-Sample Variant pada Sistem Eksperimentasi

Type: Kerja Praktek (KP)

Favorite