Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	511.3 Smi i
Collection Type	Buku
Title	An Introduction to godel's theorems/ Peter Smith
Author	Smith, Peter;
Publisher	New York: Camridge University Press, 2007
Subject	Godel kunt; godel numbers
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
511.3 Smi i	08/11528 (asli)	TERSEDIA
511.3 Smi i	09/11558 (Asli)	TERSEDIA

Tidak ada review pada koleksi ini: 26199

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