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

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