Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004 Int c
Collection Type	Indeks Artikel LNCS
Title	TermiLong: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254)Hal. 444-447
Author	N. Lindenstrauss, Y. Sagiv; A. Serebernik;
Publisher	Springer, 1997
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004 Int c		TERSEDIA

Tidak ada review pada koleksi ini: 39698

Tidak ada abstrak pada koleksi ini

Latest Collection

Master Data Management Maturity Assessment : A Case Study of A Pasar Rebo Public Hospital (497-504)

Type: Indeks Artikel prosiding/Sem

Identifikasi Iklim Mikro pada Single-Span Greenhouse Daerah Tropis menggunakan Artificial Neural Network (30)

Type: Indeks Artikel prosiding/Sem

Maturity Model untuk Enterprise Architecture Planning (29)

Type: Indeks Artikel prosiding/Sem

Reasoning about the Cascading Failure of Financial Network Using Prolog (489-496)

Type: Indeks Artikel prosiding/Sem

Prototipe Program Kesiapsiagaan Tsunami : Bangunan Berbasis GIS (29)

Type: Indeks Artikel prosiding/Sem

Pembangunan Program Pembangkit ITWM Berbasiskan SVG: Pengolahan Kartografi (28)

Type: Indeks Artikel prosiding/Sem

The Development Of A Malacca Straits Oil Spill Response Information System (28)

Type: Indeks Artikel prosiding/Sem

Incremental Inductive Learning of Answer Set Programs for Maps Generation Problems (483-488)

Type: Indeks Artikel prosiding/Sem

Vehicle Fuel Monitoring and Management using RFID authentication and Telematics Notification (477-482)

Type: Indeks Artikel prosiding/Sem

Secure Remote From Field Fillin Dalam Dokumen Word Melalui XML Web Service (27)

Type: Indeks Artikel prosiding/Sem

Favorite