Filter by
Found 1 from your keywords: author=Ramanayake, Revantha
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd Internat…
Buku akses terbuka ini merupakan hasil dari prosiding Konferensi Internasional ke-32 tentang Penalaran Otomatis dengan Tableaux Analitik dan Metode Terkait, TABLEAUX 2023, yang diadakan di Praha, Republik Ceko, selama 18-21 September 2023. 20 makalah lengkap dan 5 makalah pendek yang disertakan dalam buku ini bersama dengan 5 abstrak ceramah yang diundang ditinjau dan dipilih dengan saksama dar…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-43513-3
- Collation
- 1 online resource (XXV, 482 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 511.3 RAM a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography