List of second readers
This list contains the second readers of this Handbook with the corresponding chapter numbers.
Peter B. Andrews 1 (Carnegie Mellon University, USA)
Peter Baumgartner 28 (Universität Koblenz-Landau, Germany)
Wolfgang Bibel 1 (Technische Universität Darmstadt, Germany)
Nikolaj Bjorner 10, 21, 24 (XDegrees Inc., USA)
Thierry Boy de la Tour 6 (IMAG, France)
Gerhard Brewka 19 (Universität Leipzig, Germany)
Uwe Egly 6 (Technische Universität Wien, Austria)
Enrico Franconi 23 (University of Manchester, UK)
Uli Furbach 3 (Universität Koblenz-Landau, Germany)
Jean Goubault-Larrecq 5, 16 (DYADE, France)
Bernhard Gramlich 9, 14 (Technische Universität Wien, Austria) ...
Get Handbook of Automated Reasoning now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
