Detail Cantuman

Image of Automated Reasoning with Analytic Tableaux and Related Methods

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.,
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