Detail Cantuman
Ebook
Automated Reasoning with Analytic Tableaux and Related Methods
This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 27–29, 2025. The 25 full papers included in this book were carefully reviewed and selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic.
Ketersediaan
Tidak ada salinan data
Informasi Detil
| Judul Seri |
-
|
|---|---|
| No. Panggil |
006.3 Gia a
|
| Penerbit | Springer Nature : Cham., 2026 |
| Deskripsi Fisik |
492 Halaman
|
| Bahasa |
English
|
| ISBN/ISSN |
9783032060853
|
| Klasifikasi |
006.3
|
| 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







