Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga, editors

Springer c2022

vol.1

所蔵館2館

Reinhard Kahle, Thomas Strahm, Thomas Studer, editors

Birkhäuser , Springer c2016 Progress in computer science and applied logic v. 28

所蔵館9館

Reinhard Kahle, Michael Rathjen editors

Springer c2015

: pbk.

所蔵館5館

Erich Grädel, Reinhard Kahle (eds.)

Springer c2009 Lecture notes in computer science 5771

: pbk

所蔵館4館

edited by Reinhard Kahle

A K Peters c2005 Lecture notes in logic 22

所蔵館6館

Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Springer c2001 Lecture notes in computer science 2183

所蔵館28館