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...

Cijeli opis

Spremljeno u:
Bibliografski detalji
Autor kompanije: SpringerLink (Online service)
Daljnji autori: Sattler, Uli (Urednik), Suda, Martin (Urednik)
Format: Elektronički e-knjiga
Jezik:engleski
Izdano: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Izdanje:1st ed. 2023.
Serija:Lecture Notes in Artificial Intelligence, 14279
Teme:
Online pristup:Link to Metadata
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!

Internet

Link to Metadata

3rd Floor Main Library

Detalji primjeraka od 3rd Floor Main Library
Signatura: A1234.567
Primjerak 1 Dostupno