Frontiers of Combining Systems / Lecture Notes in Computer Science Bd.10483 (PDF)
11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017.
The 17 papers presented in this volume were carefully reviewed and...
The 17 papers presented in this volume were carefully reviewed and...
sofort als Download lieferbar
Printausgabe Fr. 79.90
eBook (pdf)
Fr. 77.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Frontiers of Combining Systems / Lecture Notes in Computer Science Bd.10483 (PDF)“
This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017.
The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics.
The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com.
Bibliographische Angaben
- 2017, 1st ed. 2017, 351 Seiten, Englisch
- Herausgegeben: Clare Dixon, Marcelo Finger
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319661671
- ISBN-13: 9783319661674
- Erscheinungsdatum: 04.09.2017
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 7.68 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Frontiers of Combining Systems / Lecture Notes in Computer Science Bd.10483"
0 Gebrauchte Artikel zu „Frontiers of Combining Systems / Lecture Notes in Computer Science Bd.10483“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Frontiers of Combining Systems / Lecture Notes in Computer Science Bd.10483".
Kommentar verfassen