Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	511.3 Fit f
Collection Type	Buku
Title	First-order logic and automated proving
Author	Fitting, Melvin;
Publisher	USA; Springer-Verlag; 1990
Subject	Automated theorem proving; logic, symbolic and mathematical
Location	FASILKOM-UI;

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
511.3 Fit f	90/6065	TERSEDIA

Tidak ada review pada koleksi ini: 6617

Tidak ada abstrak pada koleksi ini

Latest Collection

Fuzzy Mode and Fuzzy Median In Applications To The Environment Impact Assessment(306-311)

Type: Indeks Artikel prosiding/Sem

Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited (193-204)

Type: Indeks Artikel prosiding/Sem

Pengembangan Sistem Rekomendasi Pemuatan Barang dan Perencanaan Rute Pengiriman, Studi Kasus: PT Paragon Technology and Innovation

Type: Skripsi

Power System Dynamic Stabilizer Design Using Turning Grey Prediction PID Control (300-305)

Type: Indeks Artikel prosiding/Sem

Evolution of Foraging Model with Migration and KinSelection (294-299)

Type: Indeks Artikel prosiding/Sem

Solving Implication Problems In Database Applications (185-192)

Type: Indeks Artikel prosiding/Sem

Genetic Algorithm Adopting Selective Virus Infection (289-293)

Type: Indeks Artikel prosiding/Sem

Relational Specifications of Infinite Query Answers (174-183)

Type: Indeks Artikel prosiding/Sem

The Application Of Developed Seeds Algorithm Based On Gray System Theory In License Plate Location System (286-588)

Type: Indeks Artikel prosiding/Sem

Object Identity As A Query Language Primitive (159-173)

Type: Indeks Artikel prosiding/Sem

Favorite