Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=SATTLER, Uli Sattler
cover
Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Pr…
Comment Share
SATTLER, Uli SattlerSUDA, Martin

Buku ini merupakan hasil dari Simposium Internasional ke-14 tentang Batas-batas Penggabungan Sistem, FroCoS 2023, yang diadakan di Praha, Republik Ceko, pada bulan September 2023. Simposium ini diselenggarakan bersamaan dengan Konferensi Internasional ke-32 tentang Penalaran Otomatis dengan Tableaux Analitik dan Metode Terkait, TABLEAUX 2023. Ke-14 makalah yang dipresentasikan telah ditinjau se…

Edition
1
ISBN/ISSN
978-3-031-43369-6
Collation
1 online resource (XVI, 275 Pages)
Series Title
Lecture Notes in Computer Science
Call Number
003 SAT f