Logic for computer science : foundations automatic theorem proving : OPAC USU Library

Logic for computer science : foundations automatic theorem proving

511.3 Gal l

Gallier, Jean H.

Judul :	Logic for computer science : foundations automatic theorem proving
No. Panggil :	511.3 Gal l
Penerbit :	Harper & Row
Edisi :
Tahun :	1986
ISBN :	0 06 042225 4
Deskripsi :	xiv, 511 p. : ilus. ; tab. ; 23 cm.
No. Klasifikasi :	511.3
Golongan :	Ilmu Pengetahuan Murni
Subyek :	UTOMATIC THEOREM PROVING;LOGIC, SYMBOLIC AND MATHEMATICAL
Bahasa :	ENG
Jenis :	Buku
Catatan Umum :	Ind. : p. 502 - 511
Jumlah Eksemplar :	9
Terpinjam :	0
Tersedia :	9

Barcode	Lokasi	Status	Tipe*	Tanggal Pinjam	Tanggal Harus Kembali
87020521	Perpustakaan Universitas	Ada	STD
87020523	Perpustakaan Universitas	Ada	STD
87020527	Perpustakaan Universitas	Ada	STD
87020526	Perpustakaan Universitas	Ada	STD
87020524	Perpustakaan Universitas	Ada	STD
03000038	Perpustakaan Universitas	Ada	STD
87020525	Perpustakaan Universitas	Ada	STD
03000039	Perpustakaan Universitas	Ada	STD
87020522	Perpustakaan Universitas	Ada	STD

Tipe* :
STD = Koleksi standar berada di Lt. 2, Lt. 3 atau Lt. 4 Perpustakaan USU atau di Perpustakaan Cabang.
KPS = Koleksi pinjam singkat berada di bagian KPS (Koleksi Pinjam Singkat) Lt. 1 Perpustakaan USU.