Home
Search
Katalog & Koleksi
Katalog
Informasi
Pemilihan Jurnal untuk Publikasi Ilmiah
Peraturan Tel-U Open Library
Sumber Daya Informasi Pendukung Kegiatan Penelitian
Surat Bebas Kewajiban Perpustakaan (SBKP)
Layanan Assistive Technology
Fasilitas Cek Similarity, iThenticate dan Turnitin
Cara Akses Scopus
Standar Layanan Open Library
Cara Akses Koleksi Electronic Book Open Library
Layanan Document Delivery Service
Tentang Kami
Tahun Terbit
Automated Deduction
Maria Paola Bonacina
Informasi Dasar
No. Katalog
16.21.180
Klasifikasi
006.3
Jenis katalog
Buku - Elektronik (E-Book)
No. Rak
4
Abstraksi
Subjek
Subjek utama
ARTIFICIAL INTELLIGENCE
Subjek tambahan
SOFTWARE ENGINEERING, ALGORITHM ANALYSIS
Katalog
Judul
Automated Deduction
ISBN
978-3-642-38574-2
Kolasi
Bahasa
English
Sirkulasi
Harga pinjam
Rp. 0
Biaya denda
Rp. 0
Sirkulasi
Tidak
Pengarang
Nama
Maria Paola Bonacina
Jenis
Perorangan
Penyunting/
Pembimbing
Alih bahasa
Penerbit
Nama
Springer Berlin Heidelberg
Kota
Tahun
2013
Koleksi
Total
1 Koleksi
Tersedia
1 Koleksi
Kompetensi
Tidak ada
Download / Flippingbook
Link file
E - Book (ebook.pdf)
diunduh 81 kali
Rekomendasi
Ulasan
Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini
Kembali