International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus
Springer-Verlag
|
Logic Colloquium, Müller, Gert Heinz, 1923-, Richter, Michael M., 1938-
Springer-Verlag
|
Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938-
Springer-Verlag
|
Degano, Pierpaolo, Meseguer, Jose, Nicola, Rocco, SpringerLink (Online service)
Springer-Verlag
|
Logic Colloquium, Cooper, S. B. (S. Barry), Truss, J. K
Cambridge University Press
|
Hutchison, David, Mattern, Friedemann, Kanade, Takeo, Kittler, Josef, Nierstrasz, Oscar, Naor, Moni, Pandu Rangan, C., …
Springer Berlin Heidelberg
|
Balduccini, Marcello, Son, Tran Cao, SpringerLink (Online service)
Springer Berlin Heidelberg
|
Futatsugi Kokichi, Jouannaud Jean-Pierre, Meseguer Jos-, SpringerLink (Online service)
Springer-Verlag GmbH.
|
Schütte, K. (Kurt)
Springer-Verlag
|
Engels, Gregor, Lewerentz, Claus, Schäfer, Wilhelm, Schürr, Andy, Westfechtel, Bernhard, SpringerLink (Online service)
Springer Berlin Heidelberg
|
Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Kister, Jane E., Dalen, D. van (Dirk), 1932-, Troelstra, A. …
Springer-Verlag
|
Comon-Lundh Hubert, Kirchner Helene, Kirchner Claude, SpringerLink (Online service)
Springer-Verlag
|