Detail Cantuman

Image of Automated Deduction – CADE 28

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

EB26000243006.31 And aPerpustakaan Pusat UMATersedia - Ebook

Informasi Detil

Judul Seri
-
No. Panggil
006.31 And a
Penerbit Springer Nature : .,
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