Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings
Author(s)
Bibliographic Information
Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings
（Lecture notes in computer science, 308）
Springer-Verlag, c1988
- : gw
- : us
Available at / 58 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||30888022883
-
Research Institute for Economics & Business Administration (RIEB) Library , Kobe University図書
: gw621.34-446-3081000078245
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:308891016600
-
Hokkaido University, Faculty and Graduate School of Engineering図書
: gwDC19:511.3/C7533570163842
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
