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	Solving for set variables in higher-order theorem proving, Hal. 408-414
Author	Chad E. Brwon;
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: 36732

Tidak ada abstrak pada koleksi ini

Latest Collection

Perancangan dan evaluasi desain antarmuka manajemen housing: solusi digital untuk pengelolaan manajemen user -centered design

Type: Skripsi

Pengembangan Sistem Evaluasi Pembelajaran Berbasis Large Linguage Model Terintegrasi dengan Learning Management System dan Platform Portal Kuis

Type: Skripsi

Evaluasi Aksesibilitas dan Perbaikan Desain Antarmuka Aplikasi Transportasi umum bagi Penyandang Gangguan Penglihatan Buta Warna dan Attention Deficit Hyperactivity Disorder (ADHD)

Type: Skripsi

Pengembangan Platform Web Pembantuan Pengajaran Menggunakan Strategi 5 E

Type: Skripsi

Estimasi Indikator Kualitas Air Sungai Menggunakan Citra Supwer Resolution Sentinel-2

Type: Skripsi

Desain dan Evaluasi Aplikasi Latihan Debat Berbasis Daring Menggunakan Metode User Centered Design

Type: Skripsi

Analisis Faktor-faktor yang Memengaruhi Discontinuance Intention pada Aplikasi Social Media: Studi Kasus SNAPCHAT

Type: Skripsi

Perancangan Pengembangan Keamanan Identity and Access Management Terpusat pada Arsitektur Microservice: Studi Kasus PUSILKOM UI

Type: Karya Akhir (KA)

Perancangan Antarmuka dan Fitur Training Management System (TMS): Studi Kasus Divisi Corporate University PT XYZ

Type: Karya Akhir (KA)

Essentials of Statistics for the Behavioral Sciences (MindTap Course List) 10th Edition (INSTRUCTOR'S MANUAL)

Type: Instructor's Manual (Khusus Do

Favorite