Detail Cantuman
Ebook
Automated Deduction – CADE 28
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Ketersediaan
| EB26000243 | 006.31 And a | Perpustakaan Pusat UMA | Tersedia - Ebook |
Informasi Detil
| Judul Seri |
-
|
|---|---|
| No. Panggil |
006.31 And a
|
| Penerbit | Springer Nature : ., 2021 |
| Deskripsi Fisik |
650 Halaman
|
| Bahasa |
English
|
| ISBN/ISSN |
9783030798765
|
| Klasifikasi |
006.31
|
| Tipe Isi |
ebook
|
| Tipe Media |
other
|
| Tipe Pembawa |
-
|
| Edisi |
-
|
| Subyek | |
| Info Detil Spesifik |
-
|
| Pernyataan Tanggungjawab |
-
|
Versi lain/terkait
Tidak tersedia versi lain
Lampiran Berkas
Informasi
DETAIL CANTUMAN
Kembali ke sebelumnyaXML DetailCite this
Perpustakaan UMA
Online Public Access Catalog (OPAC)Perpustakaan UMA Terakreditasi A Perpustakaan Nasional Republik Indonesia
Sejarah Perpustakaan Universitas Medan Area dimulai dari berdirinya Universitas Medan Area (UMA) pada tahun 1983, saat ini terdapat 50.000 lebih koleksi yang tersedia di Perpustakaan pusat maupun Perpustakaan Fakultas.
Info selengkapnya







