Produktbild
Samson (Hrsg.) Abramsky

Dependence Logic

Theory and Applications

Buch

In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences (March 2014). A… Mehr

CHF 136.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Kontinen, Juha (Hrsg.) / Vollmer, Heribert (Hrsg.) / Väänänen, Jouko (Hrsg.)
  • ISBN: 978-3-319-81123-9
  • EAN: 9783319811239
  • Produktnummer: 28388683
  • Verlag: Springer International Publishing
  • Sprache: Englisch
  • Erscheinungsjahr: 2018
  • Seitenangabe: 292 S.
  • Masse: H23.6 cm x B16.1 cm x D2.0 cm 454 g
  • Auflage: Softcover reprint of the original 1st ed. 2016
  • Abbildungen: Paperback
  • Gewicht: 454

Über den Autor


Samson Abramsky, Christopher Strachey Professor of Computing, Department of Computer Science, Oxford University, UKJuha Kontinen, Academy Research Fellow, Department of Mathematics and Statistics, Helsinki University, FinlandJouko Väänänen, Dean of the Faculty of Science and Professor, Department of Mathematics and Statistics, Helsinki University, Finland; Professor, University of Amsterdam, The Netherlands Heribert Vollmer, Faculty of Electrical Engineering and Computer Science, Theoretical Computer Science Institute, University of Hannover, Germany

25 weitere Werke von Samson (Hrsg.) Abramsky:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.