Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
-
- Englisch ausgewählt
39,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
15.09.2023
Abbildungen
XVI, 275 p. 421 illus., 12 illus. in color.
Herausgeber
Uli Sattler + weitereVerlag
SpringerSeitenzahl
275
Maße (L/B/H)
23,5/15,5/1,6 cm
Gewicht
446 g
Auflage
1st ed. 2023
Sprache
Englisch
ISBN
978-3-031-43368-9
The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.
This is an open access book.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice