OPEN EDUCATIONAL RESOURCES

UPA PERPUSTAKAAN UNEJ | NPP. 3509212D1000001

  • Home
  • Admin
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}
Image of Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
Bookmark Share

Text

Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings

SATTLER, Uli Sattler - Personal Name; SUDA, Martin - Personal Name;

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 secara menyeluruh dan dipilih dari 22 makalah berkualitas tinggi yang diserahkan. Makalah-makalah tersebut dikelompokkan dalam volume menurut klasifikasi topik berikut: analisis program dan persamaan; penyatuan; fragmen yang dapat diputuskan; kerangka kerja; pembuktian teorema tingkat tinggi.


Availability

No copy data

Detail Information
Series Title
Lecture Notes in Computer Science
Call Number
003 SAT f
Publisher
Zurich, Switzerland : Springer International Publishing., 2023
Collation
1 online resource (XVI, 275 Pages)
Language
English
ISBN/ISSN
978-3-031-43369-6
Classification
003
Content Type
text
Media Type
computer
Carrier Type
online resource
Edition
1
Subject(s)
Teori sistem umum
Specific Detail Info
-
Statement of Responsibility
Uli Sattler, Martin Suda
Other Information
Cataloger
Kholif Basri
Source
https://link.springer.com/10.1007/978-3-031-43369-6
Validator
erw
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-031-43369-6
Journal Volume
14279
Journal Issue
-
Subtitle
-
Parallel Title
-
Other version/related

No other version available

File Attachment
  • Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
Comments

You must be logged in to post a comment

OPEN EDUCATIONAL RESOURCES

Search

start it by typing one or more keywords for title, author or subject


Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search
Where do you want to share?