Logical Foundations of Computer Science
The 22 revised full papers were carefully reviewed and selected from...
- Kauf auf Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
71.50 €
76.99 €
Vorlesungen über Informatik: Bd.1 Vorlesungen über Informatik
Gerhard Goos, Wolf Zimmermann
23.64 €
142.99 €
153.99 €
72.59 €
The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.
- 2017, 1st ed. 2018, 369 Seiten, 17 Schwarz-Weiß-Abbildungen, Maße: 15,9 x 23,6 cm, Kartoniert (TB), Englisch
- Herausgegeben von Artemov, Sergei; Nerode, Anil
- Verlag: Springer
- ISBN-10: 3319720554
- ISBN-13: 9783319720555
- Erscheinungsdatum: 28.11.2017
76.99 €
Vorlesungen über Informatik: Bd.1 Vorlesungen über Informatik
Gerhard Goos, Wolf Zimmermann
23.64 €
142.99 €
Vorlesungen über Informatik / Springer-Lehrbuch
Wolf Zimmermann, Gerhard Goos
8.98 €
153.99 €
Keine Kommentare vorhanden
Jetzt bewertenSchreiben Sie den ersten Kommentar zu "Logical Foundations of Computer Science".
Kommentar verfassen