Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	006.3 Aut
Collection Type	Buku
Title	Automated reasoning: introduction and applications/ Larry Wos
Author	Woss, Larry;
Publisher	Englewood Cliffs,NJ : Prentice Hall, 1984
Subject	Automatic theorem proving; Artificial intelligence; Electronic digital computers - programming; Automated reasoning
Location	FASILKOM-UI;

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
006.3 Aut	86/5103	TERSEDIA

Tidak ada review pada koleksi ini: 25790

Tidak ada abstrak pada koleksi ini

Latest Collection

Evaluasi Usability dan Rekomendasi Desain Alternatif Aplikasi HNI Integrated System (HSIS) Mobile

Type: Karya Akhir (KA)

Analisis Faktor-Faktor yang Memengaruhi Stickiness pada Mobile Healthcare Learning: Studi Kasus Aplikasi Doctor to Doctor

Type: Karya Akhir (KA)

PENDETEKSIAN KASUS PENCATATAN GANDA PADA DATA PELANGGAN DI PERUSAHAAN XYZ

Type: Karya Akhir (KA)

Analisis Faktor-Faktor yang Memengaruhi Niat Penggunaan Berkelanjutan Livestream Shopping pada Social Commerce

Type: Karya Akhir (KA)

Peningkatan Proses Software Requirement Management Berbasis CMMI V2.0 : Studi Kasus Lembaga National Single Window

Type: Karya Akhir (KA)

Analisa Pengaruh Kesiapan Karyawan Terhadap Penerimaan Modul Training Management Pada PT XYZ

Type: Karya Akhir (KA)

Feature Model untuk Domain Aplikasi Pet Health Menggunakan Metode Cardinality-Based Feature Model

Type: Karya Akhir (KA)

Perancangan Sistem Manajemen Pengetahuan: Studi Kasus Badan Narkotika Nasional (BNN)

Type: Karya Akhir (KA)

Model Bisnis Virtual Reality Berbasis Sustainable Development Goals untuk Startup Tahap Awal

Type: Karya Akhir (KA)

Strategi Transformasi Digital Menuju Asuransi 4.0: Studi Kasus PT Reasuransi ABC

Type: Karya Akhir (KA)

Favorite