Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author=HEULE, Marijn J.H.
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