Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number 004 Int c
Collection Type Indeks Artikel LNCS
Title Termilog: 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. Serebrenik;
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: 38846
Tidak ada abstrak pada koleksi ini