Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	SEM-374
Collection Type	Indeks Artikel prosiding/Sem
Title	Lifter: Language to Encode Induction Heuristics for Isabelle/HOL (266-287)
Author	Yutaka Nagashima;
Publisher
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-374		TERSEDIA

Tidak ada review pada koleksi ini: 52203

Tidak ada abstrak pada koleksi ini

Latest Collection

Optimalisasi Antarmuka dan Pengalaman Pengguna Sistem Manajemen pada Bosnet Distribution Indonesia sebagai UI/UX Designer

Type: Kerja Praktek (KP)

Analisis Risiko Keamanan Siber dan Pengembangan Security Operations Center PT.SKBD

Type: Kerja Praktek (KP)

Analisis Perbandingan dan Rrekomendasi Desain Microlearning Antarplatform Pembelajaran Digital : Udemi Khan Academy dan Edx

Type: Skripsi

Analisis Faktor-faktor Penentu Penggunaan AI Secara Etis di Kalangan Mahasiswa dengan Menggunakan Teori Planned Behavior dan Health Belief Model Studi Kasus : CHATGPT

Type: Skripsi

Analisis Faktor-faktor yang Memengaruhi Niat Keberlanjutan Penggunaan Platform Quick Commerce: Studi Kasus Pengguna Astro

Type: Skripsi

Analisis Faktor Pendorong Terhadap niat Penggunaan Artificial Intelligence-Aided Design Tools: Studi Kasus Plugin AI di FIGMA

Type: Skripsi

Pengembangan Fitur Evaluasi pada MOOC dengan Metode Large Language Model

Type: Skripsi

Sistem Optical Character Recognition untuk Naskah Pegon Tulis Tangan

Type: Skripsi

Partially Reliable Video Live Streaming Based on Quicc in Mobile Platform

Type: Skripsi

Re-Enginering Webshop Into Product Line Application With Prices-IDE

Type: Skripsi

Favorite