UPT. PERPUSTAKAAN DAN E-LEARNING UNIVERSITAS SYIAH KUALA
Darussalam - Banda Aceh - Nomor Pokok Perpustakaan : 1171042D2000001
Menu
Beranda depan
Pendaftaran Anggota
Area Anggota
Cek Keterlambatan
Info Perpustakaan
Lokasi Perpustakaan
Pilih Bahasa
Arabic
Bengali
Brazilian Portuguese
English
Espanol
German
Indonesia
Bahasa Jepang
Thai
Melayu
Persia
Pencarian
Advanced Search
Interactive Theorem Proving4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
SpringerLink (Online service)
-
Paulin-Mohring, Christine.
-
Pichardie, David.
Detail Cantuman
XML Detail
Cite
Bagikan:
Hasil Pencarian
Ditemukan
1
dari pencarian Anda melalui kata kunci:
Author :
"Pichardie, David."
Permintaan membutuhkan
0.89599
detik untuk selesai
XML Result
JSON Result
Advanced Search
Judul
Pengarang
Subyek
ISBN/ISSN
Tipe Koleksi
Semua Koleksi
Document
Fiction
Reference
Textbook
Lokasi
Semua Lokasi
My Library
GMD
Semua GMD/Media
ACH
CD
DOC
DTH
EBK
FIK
KKI
LKP
print
REF
SKR
THS
TXB
Pencarian
