David Binder, Thomas Piecha, Peter Schroeder-Heister, editors

Springer c2022 Trends in logic : studia logica library v. 58

: pbk

所蔵館1館

Thomas Piecha, Peter Schroeder-Heister, editors

Springer c2016 Trends in logic : studia logica library 43

所蔵館2館

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

Springer c2001 Lecture notes in computer science 2183

所蔵館28館

Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, (eds.)

Springer c1996 Lecture notes in computer science 1050 . Lecture notes in artificial intelligence

所蔵館14館

Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)

Springer-Verlag c1996 Lecture notes in computer science 1050 . Lecture notes in artificial intelligence

: gw

所蔵館43館

edited by Peter Schroeder-Heister and Kosta Došen

Clarendon Press , Oxford University Press 1993 Studies in logic and computation 2

所蔵館22館

L.-H. Eriksson, L.Hallnäs, P. Schroeder-Heister (eds.)

Springer-Verlag c1992 Lecture notes in computer science 596 . Lecture notes in artificial intelligence

: gw , : us

所蔵館53館

P. Schroeder-Heister (ed.)

Springer-Verlag c1991 Lecture notes in computer science 475 . Lecture notes in artificial intelligence

: gw , : us

所蔵館53館

F.A. Beyerlein ; traduit de Joseph Schroeder, P. Bruck-Gilbert ; pref. de Pierre Baudin

J. Tallandier [19--]

所蔵館1館