CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings
Author(s)
Bibliographic Information
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings
(Lecture notes in computer science, 440)
Springer-Verlag, c1990
- : gw
- : us
Available at / 59 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||44090062348
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:440901004320
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references