Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 3 from your keywords: subject="Logika Matematis"
cover
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, …
Comment Share
BENZMULLER, ChristophHEULE, Marijn J.H.SCHMIDT, Renate A.

Kumpulan dua volume LNAI 14739-14740 ini merupakan prosiding Konferensi Gabungan Internasional ke-12 tentang Penalaran Otomatis, IJCAR 2024, yang diselenggarakan di Nancy, Prancis, selama 3-6 Juli 2024. 39 makalah penelitian lengkap dan 6 makalah pendek yang disajikan dalam buku ini ditinjau dan dipilih secara saksama dari 115 kiriman. Makalah-makalah tersebut berfokus pada topik-topik berikut:…

Edition
1
ISBN/ISSN
978-3-031-63498-7
Collation
1 online resource ( XVI, 482 Pages)
Series Title
Lecture Notes in Computer Science
Call Number
511.3 BEN a
cover
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, …
Comment Share
BENZMULLER, ChristophHEULE, Marijn J.H.SCHMIDT, Renate A.

Kumpulan dua volume LNAI 14739-14740 ini merupakan prosiding Konferensi Gabungan Internasional ke-12 tentang Penalaran Otomatis, IJCAR 2024, yang diselenggarakan di Nancy, Prancis, selama 3-6 Juli 2024. 39 makalah penelitian lengkap dan 6 makalah pendek yang disajikan dalam buku ini ditinjau dan dipilih secara saksama dari 115 kiriman. Makalah-makalah tersebut berfokus pada topik-topik berikut:…

Edition
1
ISBN/ISSN
978-3-031-63501-4
Collation
1 online resource (XV, 424 Pages)
Series Title
Lecture Notes in Computer Science
Call Number
511.3 BEN a
cover
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd Internat…
Comment Share
Ramanayake, RevanthaUrban, Josef

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