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	Proof analysis by resolution (extended abstract), Hal,.417-531
Author	Matthias Baaz;
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: 36739

Tidak ada abstrak pada koleksi ini

Latest Collection

Pembangunan aplikasi smart traffic lights web untuk amazon web services worldwide public sector

Type: Kerja Praktek (KP)

Business communication today 15th ed.

Type: Buku

Pengembangan web edukasi & pemantauan gizi anak "piringku masa depanku" indonesia medical education and research institute fakultas kedokteran universitas indonesia (imeri fkui)

Type: Kerja Praktek (KP)

Perbandingan usability situs E-Marketplace versi mobile dan versi web Di Indonesia: Studi kasus tokopedia, shopeem dan bukalapak

Type: Skripsi

Maintenance dan pengembangan lanjut web service dan demo sistem text processing Fasilkom UI

Type: Kerja Praktek (KP)

Pengembangan desain user interface dan front-end pt honai teknologi inovatif

Type: Kerja Praktek (KP)

Pengembangan aplikasi web admin dashboard operations lingotalk

Type: Kerja Praktek (KP)

Quality engineer untuk peningkatan traffic dan leads website pinhome

Type: Kerja Praktek (KP)

Pengembangan fitur analytics dashboard pada aplikasi worki di diarium Indonesia (Amoeba PT Telekomunikasi Indonesia)

Type: Kerja Praktek (KP)

Analisis sistem transport management system pada PT Integrasia Utama

Type: Kerja Praktek (KP)

Favorite