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

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and...

Deskribapen osoa

Gorde:
Xehetasun bibliografikoak
Erakunde egilea: SpringerLink (Online service)
Beste egile batzuk: Sattler, Uli (Argitaratzailea), Suda, Martin (Argitaratzailea)
Formatua: Baliabide elektronikoa eBook
Hizkuntza:ingelesa
Argitaratua: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edizioa:1st ed. 2023.
Saila:Lecture Notes in Artificial Intelligence, 14279
Gaiak:
Sarrera elektronikoa:Link to Metadata
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Internet

Link to Metadata

3rd Floor Main Library

Aleari buruzko argibideak 3rd Floor Main Library
Sailkapena: A1234.567
Alea 1 Eskuragarri