Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	519.7 Man l
Collection Type	Buku
Title	The logical basis for computer programming vol.2 deductive system
Author	Manna, Zohar;
Publisher	Reading,Mass Addison-Wesley 1990
Subject	Programming (Electronic digital computers); Logic, symbolic and mathematical
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
519.7 Man l	91/1074b	TERSEDIA
519.7 Man l	91/1074B	TERSEDIA
519.7 Man l	91/1074a	TERSEDIA

Tidak ada review pada koleksi ini: 589

Tidak ada abstrak pada koleksi ini

Latest Collection

Deteksi Perubahan Penutup Lahan Berdasarkan Algoritma Wavelet A Troust Dengan Menggunakan Citra SAR (151-157)

Type: Indeks Artikel prosiding/Sem

Evaluation of the Ergonomics Instrumentation As A Cognitive Measuring Instrument In The lighting Prevalence on Workers Response Time (164-168)

Type: Indeks Artikel prosiding/Sem

Bergonomics Improvement of Inside the Tractor Cab: Climatization, Vibration-Proff, Driving Position and Instrumentation Control (161-163)

Type: Indeks Artikel prosiding/Sem

Design and Siulation Neural Network-Based Control Type Regulator fot Antilock Braking System (156-160)

Type: Indeks Artikel prosiding/Sem

Design and simulation of Adaptive Neural Network Fuzzy Inference System (ANFIS) for Continuous Casting Mold Level Control (151-155)

Type: Indeks Artikel prosiding/Sem

Ekstraksi Karakteristik Sidik Jari : Penentuan Posisi Core Dan Delta (147-150)

Type: Indeks Artikel prosiding/Sem

Implementation of Fuzzy Logic Controller for Solar Array Maximum Power Point Tracker Using Inexpensive 8-bit Microcontroller (144-150)

Type: Indeks Artikel prosiding/Sem

Kontrol Gerakan Kamera Mengikuti Gerakan Suatu Obyek (143-146)

Type: Indeks Artikel prosiding/Sem

Rancangan Sistem Pengendalian Debit Dan Suhu Air Pada Budidaya Ikan Patin (139-142)

Type: Indeks Artikel prosiding/Sem

Real-time Vessel Automatic Docking Using Adaptive Fuzzy System-based Controller (139-143)

Type: Indeks Artikel prosiding/Sem

Favorite